Search results for: Gianpiero Cabodi
Annals of Computer Science and Information Systems > 2019 > Vol. 18 > 123--126
IEEE Design & Test > 2017 > 34 > 5 > 38 - 46
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 505-514
Lecture Notes in Computer Science > Computer Aided Verification > BDD and Decision Procedures > 118-130
Software: Practice and Experience > 46 > 4 > 493 - 511
Advanced Formal Verification > 45-76
Advanced Formal Verification > 45-76
Formal Methods in System Design > 2015 > 46 > 2 > 135-162
Formal Methods in System Design > 2011 > 39 > 2 > 205-227
Journal of Electronic Testing > 2010 > 26 > 2 > 261-278
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 129-142