Nachweis der Korrektheit von Implementierungen

Korrektheitsnachweis für Implementierungen:



Uwe Petermann 2006-06-13