- ECU Libraries Catalog

Start Over

You searched for: author_facet Merz, Stephan

Showing 1 - 5 of 5 results

Search Results

Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

by Blanchette, Jasmin Christian
2016
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

by Merz, Stephan
2014
Format: Electronic

Location
Access Content Online

Cover image for Integrated formal methods

Integrated formal methods

by International Conference on Integrated Formal Methods
2010
Format: Electronic

Location
Access Content Online

Cover image for Formal systems specification

Formal systems specification

1996
Format: Electronic

Location
Access Content Online

Cover image for Formal systems specification

Formal systems specification

1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.D5 F664 1996	✔ Available