Software model checking using languages of nested trees
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
On contract satisfaction in a higher-order world
Christos Dimoulas, Matthias Felleisen
Bottom-up shape analysis using LISF
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: