TTrusted SystemsTrusted Systemsde Roderick Bloem, Peter LippEdiciones (1)Trusted Systems (2013)Springer London, Limited · inglés · ISBN 9783319034911Más obras de Roderick BloemTrusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsHandbook of Model CheckingHardware and Software : Verification and Testing