1
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Other Personal Name(s): “...Chechik, Marsha...”

Full text 
Favorites
Saved in:
2
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 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 /
Other Personal Name(s): “...Chechik, Marsha...”

Full text 
Favorites
Saved in:
3
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Other Personal Name(s): “...Chechik, Marsha...”

Full text 
Favorites
Saved in:
4
Fundamental Approaches to Software Engineering [E-Book] : 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 /
Other Personal Name(s): “...Chechik, Marsha...”

Full text 
Favorites
Saved in:

Narrow Search Results