TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2010
Anzahl der Einträge: 1.

2010

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre
Hrsg.: Beckert, Bernhard ; Marché, Claude (2010)
Specifying Imperative ML-like Programs Using Dynamic Logic.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers.
doi: 10.1007/978-3-642-18070-5_9
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:43:29 2024 CET generiert.