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
Anzahl der Einträge: 2.

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil (2014)
An Interactive Verification Tool Meets an IDE.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings.
doi: 10.1007/978-3-319-10181-1_4
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:33:39 2024 CET generiert.