Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Hrsg.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum