1
Software Verification [E-Book] : 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 /
Other Personal Name(s): “...Bloem, Roderick...”

Full text 
Favorites
Saved in:
2
Hardware and Software: Verification and Testing [E-Book] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Arbel, Eli
2016
Other Personal Name(s): “...Bloem, Roderick...”

Full text 
Favorites
Saved in:
3
Computer Aided Verification [E-Book] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Other Personal Name(s): “...Bloem, Roderick....”

Full text 
Favorites
Saved in:
4
Trusted Systems [E-Book] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings /
Other Personal Name(s): “...Bloem, Roderick....”

Full text 
Favorites
Saved in: