Codescape Erweiterung: Hoare Kalkül

  • Codescape Extension: Hoare logic

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

Aachen (2017)
Bachelor Thesis

Bachelorarbeit, RWTH Aachen University, 2017

Identifier