Marsha Chechik profile picture

Marsha Chechik

Fundamental Approaches To Software Engineering: 12th International Conference Proceedings
CONCUR 2008 - Concurrency Theory
Proceedings of the 9th International Workshop on Modelling in Software Engineering
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems
Verified Software. Theories, Tools, and Experiments
Fundamental Approaches to Software Engineering