Mauro Pezze
Identifiers
- Open LibraryOL2739245A
Books by Mauro Pezze
Total count: 4
-
Behavioural abstraction and circuit verification using Circal.University of Edinburgh, Department ofComputer Science1987-01-01
Software Testing and AnalysisProcess, Principles and TechniquesWiley2007-04-13-
Software Testen und AnalysierenProzesse, Prinzipien und Technikende Gruyter GmbH, Walter2009-01-01
-
Proceedings of the 2013 International Symposium on Software Testing and AnalysisAssociation for Computing Machinery2013-01-01