Codescape Erweiterung: Hoare Kalkül

Breuer, Martin; Schroeder, Ulrik (Thesis advisor); Gamper, Paul (Thesis advisor)

Aachen (2017) [Bachelorarbeit]

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-01306