Export: Program development using abstract interpretation (and the ciao system preprocessor)
Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and López García, Pedro (2003). Program development using abstract interpretation (and the ciao system preprocessor). In: "10th International Symposium, SAS 2003", June 11-13, 2003, San Diego, CA, USA. ISBN 9783540403258.
Please select an output format:
