R
Roderick Bloem
7 works on record
Works

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

Handbook of Model Checking

Hardware and Software : Verification and Testing

Computer Aided Verification
Software Verification
Software Verification
2022
Decidability of Parameterized Verification
Decidability of Parameterized Verification
Trusted Systems
Trusted Systems