Result

Paperback
Parosh Aziz Abdulla, K. Rustan M. Leino
Tools and Algorithms for the Construction and Analysis of Systems
€ 70,00
Boekstra