@inproceedings{wasser:hal-03769132,
  TITLE = {{Modeling Non-deterministic C Code with Active Objects}},
  AUTHOR = {Wasser, Nathan and Heydari Tabar, Asmae and Hahnle, Reiner},
  URL = {https://inria.hal.science/hal-03769132},
  NOTE = {Part 6: Program Analysis},
  BOOKTITLE = {{8th International Conference on Fundamentals of Software Engineering (FSEN)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Hossein Hojjat and Mieke Massink},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Fundamentals of Software Engineering},
  VOLUME = {LNCS-11761},
  PAGES = {213-227},
  YEAR = {2019},
  MONTH = May,
  DOI = {10.1007/978-3-030-31517-7\_15},
  KEYWORDS = {Model extraction ; Model validation ; Parallelization},
  PDF = {https://inria.hal.science/hal-03769132/file/490001_1_En_15_Chapter.pdf},
  HAL_ID = {hal-03769132},
  HAL_VERSION = {v1},
}