Roderick Bloem profile picture

Roderick Bloem

Is this your author profile? Create an account to customize it!

Stand Alone

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings
Software Verification
Computer Aided Verification