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.-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum