Programmverifikation mit Modulen und Axiomatischen Spezifikationen in VeriFun

Type
Other
Publication
Diploma Thesis, Technische Universität Darmstadt
Date
Links
PDF