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