TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hrsg.: Hojjat, Hossein ; Massink, Mieke (2019)
Modeling Non-deterministic C Code with Active Objects.
8th International Conference on Fundamentals of Software Engineering (FSEN 2019). Tehran, Iran (01.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie