1.
Static Analysis 9th International Symposium, Sas 2002, Madrid, Spain, September 17-20, 2002 ...
by Hermenegildo, Manuel, Puebl...
ISBN: 9783540442356
List Price: $91.00
2.
Logic-based Program Synthesis and Transformation 16th International Symposium, Lopstr 2006, ...
by Puebla, German
ISBN: 9783540714095
List Price: $59.95
3.
Proceedings of the 2009 Acm Sigplan Workshop on Partial Evaluation and Program Manipulation
by Puebla, German
ISBN: 9781605583273
List Price: $30.00