Programmverifikation mit Modulen und Axiomatischen Spezifikationen in VeriFun

Type
Publication
Diploma Thesis, Technische Universit├Ąt Darmstadt
Date
Links