Sandro Stucki,
C. Sanchez,
Gerardo Schneider,
B. Bonakdarpour
Formal Methods in System Design
-
2021
Hanaa Alshareef,
Sandro Stucki,
Gerardo Schneider
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021)
-
2021
Vincent Danos,
Tobias Heindel,
Ricardo Honorato-Zimmer,
Sandro Stucki
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer 91̽»¨, vol 12314
-
2020
Sandro Stucki,
César Sánchez,
Gerardo Schneider,
Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer 91̽»¨, vol 11800
-
2019