- ECU Libraries Catalog

Start Over

You searched for: author_facet Kroening, Daniel

Showing 1 - 7 of 7 results

Search Results

Cover image for Decision Procedures An Algorithmic Point of View

Decision Procedures An Algorithmic Point of View

by Kroening, Daniel
2016
2nd ed. 2016
Format: Electronic

Location
Access Content Online

Cover image for Validation of Evolving Software

Validation of Evolving Software

by Chockler, Hana
2015
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

by Kroening, Daniel
2015
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

by Kroening, Daniel
2015
Format: Electronic

Location
Access Content Online

Cover image for Verified Software

Verified Software

by Giannakopoulou, Dimitra
2014
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Decision procedures

Decision procedures

by Kroening, Daniel
2008
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA279.4 .K76 2008	✔ Available