Wasser, Nathan and Tabar, Asmae Heydari and Hähnle, Reiner Hojjat, Hossein and Massink, Mieke (eds.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, DOI: 10.1007/978-3-030-31517-7_15,
[Online-Edition: https://doi.org/10.1007/978-3-030-31517-7\_15],
[Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Tabar, Asmae Heydari Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, DOI: 10.1007/978-3-030-34968-4_5,
[Online-Edition: https://doi.org/10.1007/978-3-030-34968-4\_5],
[Conference or Workshop Item]