Marsha Chechik
Identifiers
- Open LibraryOL7333271A
Top Subjects
- Stochastic analysis (1)
- Computer programs (1)
Books by Marsha Chechik
Total count: 5
-
CONCUR 2008 - Concurrency Theory19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Fundamental Approaches to Software Engineering12th 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, ProceedingsSpringer London, Limited2009-01-01
-
Tools and Algorithms for the Construction and Analysis of Systems22nd 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, ProceedingsSpringer London, Limited2016-01-01
-
Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected PapersSpringer International Publishing AG2016-01-01
-
Formal Methods25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, ProceedingsSpringer International Publishing AG2023-01-01