2016
Combinatory Process Synthesis Proceedings Article
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 268–283, 2016.
ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction) Proceedings Article
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 263–267, 2016.