Codescape Erweiterung: Hoare Kalkül

Aachen (2017) [Bachelor Thesis]

Authors

Selected Authors

Breuer, Martin

Identifier

  • REPORT NUMBER: RWTH-2018-01306