TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (October 7-11, 2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie