Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Modeling Non-deterministic C Code with Active Objects

Nathan Wasser , Asmae Heydari Tabar , Reiner Hahnle
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩
Conference papers hal-03769132v1