×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of gotthard-kantor
1 Computergestützte Verifikation 25.6.2002. 2 Probleme bei der Softwareverifikation 1.komplexe Datentypen und Expressions 2.Pointer und dynamische Datenstrukturen.
104 views