- ECU Libraries Catalog

Start Over

You searched for: author_facet Havelund, Klaus

Showing 1 - 7 of 7 results

Search Results

Cover image for NASA Formal Methods 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

NASA Formal Methods 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

by Deshmukh, Jyotirmoy V.
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

by Havelund, Klaus
2018
Format: Electronic

Location
Access Content Online

Cover image for NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

by Havelund, Klaus
2015
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS (Conference)
2014
Format: Electronic

Location
Access Content Online

Cover image for Formal approaches to software testing and runtime verification

Formal approaches to software testing and runtime verification

by FATES/RV 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for SPIN model checking and software verification

SPIN model checking and software verification

by International SPIN Workshop
2000
Format: Electronic

Location
Access Content Online

Cover image for SPIN model checking and software verification

SPIN model checking and software verification

by International SPIN Workshop
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 I58 2000	✔ Available