TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
Bubel, Richard ; Hähnle, Reiner
Hrsg.: Instenes, Zoltán (2008)
A Hoare-Style Calculus with Explicit State Updates.
Konferenzveröffentlichung, Bibliographie