- ECU Libraries Catalog

Start Over

You searched for: author_facet Bloem, Roderick

Showing 1 - 4 of 4 results

Search Results

Cover image for Software Verification 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Software Verification 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

by Bloem, Roderick
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Hardware and Software

Hardware and Software

by Bloem, Roderick
2016
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

by Biere, Armin
2014
Format: Electronic

Location
Access Content Online

Cover image for Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

by Bloem, Roderick
2013
Format: Electronic

Location
Access Content Online