Modeling Non-deterministic C Code with Active Objects
Wasser, Nathan ; Heydari Tabar, Asmae
; Hähnle, Reiner
; Hähnle, Reiner| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-31516-0 ISSN: 0302-9743 KITopen-ID: 1000181396 |
| Erschienen in | Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers Hrsg.: Hojjat, Hossein; Massink, Mieke |
| Veranstaltung | 8th International Conference on Fundamentals of Software Engineering (2019), Teheran, Iran, 01.05.2019 – 03.05.2019 |
| Verlag | Springer International Publishing |
| Seiten | 213–227 |
| Serie | Lecture Notes in Computer Science : Programming and Software Engineering (LNPSE) ; 11761 |
| Vorab online veröffentlicht am | 22.09.2019 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | OpenAlex Scopus Dimensions |