Detail

Publication date: 01/01/2012

HVC 2011 — Hardware and Software: Verification and Testing

Authors

João Lourenço, Kerstin Eder, Onn Shehory,

URL http://dx.doi.org/10.1007/978-3-642-34188-5
Publisher Springer Berlin Heidelberg
Series LNCS
Volume 7261
URL http://dx.doi.org/10.1007/978-3-642-34188-5
Publisher Springer Berlin Heidelberg
Series LNCS
Volume 7261