- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Müller-Olm, Markus

Showing 1 - 7 of 7 results

Search Results

Cover image for Variations on constants

Variations on constants

by Müller-Olm, Markus
2006
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.V5 I58 2006

Cover image for Modular compiler verification

Modular compiler verification

by Müller-Olm, Markus
1997
Format: Electronic

Location
Access Content Online

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

by Feng, Xinyu
2018
Format: Electronic

Location
Access Content Online

Cover image for Variations on constants

Variations on constants

by Müller-Olm, Markus
2006
Format: Electronic

Location
Access Content Online

Cover image for Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

by Jones, Neil D.
2008
Format: Electronic

Location
Access Content Online

Cover image for Modular compiler verification

Modular compiler verification

by Müller-Olm, Markus
1997
Format: Book

Joyner Library - General Stacks

Call Number: QA76.76.C65 M85 1997

Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

by Müller-Olm, Markus
2014
Format: Electronic

Location
Access Content Online