Mauro Pezze · 4 obras en el catálogoObrasSSoftware Testen und AnalysierenSoftware Testen und AnalysierenPProceedings of the 2013 International Symposium on Software Proceedings of the 2013 International Symposium on Software Testing and AnalysisBBehavioural abstraction and circuit verification using CircaBehavioural abstraction and circuit verification using CircalSoftware testing and analysis
PProceedings of the 2013 International Symposium on Software Proceedings of the 2013 International Symposium on Software Testing and Analysis
BBehavioural abstraction and circuit verification using CircaBehavioural abstraction and circuit verification using Circal