Search results for: Pablo Ponzio
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 665-688
Software Testing, Verification and Reliability > 28 > 2 > n/a - n/a
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Analysis > 207-225