Mauro Pezze

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 Techniques

  Wiley2007-04-13
• Software Testen und AnalysierenProzesse, Prinzipien und Techniken

  de Gruyter GmbH, Walter2009-01-01
• Proceedings of the 2013 International Symposium on Software Testing and Analysis

  Association for Computing Machinery2013-01-01