M
Mauro Pezze
4 works on record
Works

Software testing and analysis
Software Testen und Analysieren
Software Testen und Analysieren
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Behavioural abstraction and circuit verification using Circal
Behavioural abstraction and circuit verification using Circal