Marsha Chechik

No bio available. Add one in Open Library.

Books by Marsha Chechik (50 max)

+ shelf+ list

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

2009

Marsha Chechik, Martin Wirsing

+ shelf+ list

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

2016

Marsha Chechik, Jean-François Raskin

+ shelf+ list

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

2008

Franck van Breugel, Marsha Chechik

+ shelf+ list

Fundamental Approaches To Software Engineering 12th International Conference Proceedings

2009

Marsha Chechik

+ shelf+ list

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers

2016

Sandrine Blazy, Marsha Chechik

+ shelf+ list

Formal Methods 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

2023

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker