Germán Puebla
2 published titles
Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540442359
- Springer
- 2002
- Details
Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783540714095
- Springer
- 2007
- Details
