Home›Books›Semantik und ProgrammverifikationSemantik und Programmverifikationby Christoph WaltherNo description available.ProgrammverifikationFormale SemantikFunktionale Programmiersprache