págs. 185-235
Dealing with Incomplete Knowledge on CLP(FD) Variable Domains
Marco Gavanelli, Michela Milano, Paola Mello, Evelina Lamma
págs. 236-263
págs. 264-313
Polymorphic Predicate Abstraction
Thomas Ball, Sriram K. Rajamani, Todd Millstein
págs. 314-343
A Systematic Approach to Static Access Control
Christian Skalka, François Pottier, Scott Smith
págs. 344-382
© 2001-2024 Fundación Dialnet · Todos los derechos reservados