Search results for: Angelo Gargantini
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 2 > 247-269
Journal of Automated Reasoning > 2010 > 45 > 4 > 331-358
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 2 > 247-269
Journal of Automated Reasoning > 2010 > 45 > 4 > 331-358