Roderick Bloem

Identifiers

Open LibraryOL7356640A

Top Subjects

Logic, symbolic and mathematical (1)

Books by Roderick Bloem

Total count: 6

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

Springer London, Limited2013-01-01
Computer Aided Verification26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Springer London, Limited2014-01-01
Decidability of Parameterized Verification

Morgan & Claypool Publishers2015-01-01
Hardware and Software : Verification and Testing12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ...

Springer2016-11-01
Handbook of Model Checking

Springer London, Limited2017-01-01
Software Verification13th 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

Springer International Publishing AG2022-01-01