@book{45564, author = {Bertacco, Valeria. and SpringerLink (Online service)}, title = {Hardware and Software: Verification and Testing}, publisher = {Springer International Publishing :}, year = {2013.}, series = {Lecture Notes in Computer Science,}, address = {Cham :}, url = {http://dx.doi.org/10.1007/978-3-319-03077-7} }