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

Institutions

• Department of Computer Science [120000]
• The Learning Technologies Research Group [122420]