Formal MethodsMarsha Chechik, Joost-Pieter Katoen, Martin Leucker · First published 2023Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsMarsha Chechik, Jean-François Raskin · First published 2016Open the Tome
Verified Software. Theories, Tools, and ExperimentsSandrine Blazy, Marsha Chechik · First published 2016Open the Tome
Concur 2008 - Concurrency TheoryMarsha Chechik,Franck Van Van Breugel · First published 2009Open the Tome
Fundamental Approaches to Software EngineeringMarsha Chechik, Martin Wirsing · First published 2009Open the Tome
Fundamental Approaches To Software Engineering 12th International Conference ProceedingsMarsha Chechik · First published 2009Open the Tome
CONCUR 2008 - Concurrency TheoryFranck van Breugel, Marsha Chechik · First published 2008Open the Tome
