Chechik, Marsha. - ECU Libraries Catalog

Start Over

You searched for: author Chechik, Marsha.

Showing 1 - 6 of 6 results

Search Results

Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

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

by Chechik, Marsha
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

by Chechik, Marsha
2009
Format: Electronic

Location
Access Content Online

Cover image for 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, Proceed

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, Proceed

by Chechik, Marsha
2016
Format: Electronic

Location
Access Content Online

Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers

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

by Blazy, Sandrine
2016
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 2008 conference of the center for advanced studies on collaborative research

Proceedings of the 2008 conference of the center for advanced studies on collaborative research

by Ng, Joanna
2008
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 2003	✔ Available