Modeling Non-deterministic C Code with Active Objects
Titel | Modeling Non-deterministic C Code with Active Objects |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2019 |
Authors | Wasser, N, Tabar, AHeydari, Hähnle, R |
Conference Name | Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN) |
Pagination | 213-227 |
Publisher | Springer |
DOI | 10.1007/978-3-030-31517-7_15 |
Undefined