Synthesis of Infinite-State Abstractions and Their Use for Software Validation
['Carlo Ghezzi', 'Andrea Mocci', 'Mario Sangiorgio']
Synthesis of Infinite-State Abstractions and Their Use for Software Validation