Filters
Advanced Search Browse by Genre

Found 7 results for "Roderick Bloem"

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings
Trusted Systems 5th International Conference Intrust 2013 Gr...

by Roderick Bloem

2013 1 ed.
Computer security Computer networks, securi... Computer science
Computer Aided Verification
Computer Aided Verification

by Armin Biere, Roderick Bloem

2014 2 ed.
Computer software, verifi... Computer science Computer network architec...
Trusted Systems
Trusted Systems

by Roderick Bloem, Peter Lipp

2013 1 ed.
Hardware and Software : Verification and Testing
Hardware and Software : Verification and Testing

by Roderick Bloem, Eli Arbel

2016 1 ed.
Computer programs Computer input-output equ... Computer software, verifi...
Decidability of Parameterized Verification
Decidability of Parameterized Verification

by Roderick Bloem, Swen Jacobs

2015 3 ed.
Handbook of Model Checking
Handbook of Model Checking

by Edmund M. Clarke, Thomas A. Henzinger

2017 3 ed.
Software Verification
Software Verification

by Roderick Bloem, Rayna Dimitrova

2022 1 ed.