Hardware and Software : Verification and Testing
Roderick Bloem
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings