Manuel Hermenegildo
4 published titles
Logic programming : proceedings of the 1990 North American conference
(Contributor)
1 edition
- ISBN: 0262540584
- MIT Press
- 1990
- Details
Analysis and visualization tools for constraint programming : constraint debugging
(Contributor)
1 edition
- ISBN: 3540411372
- Springer
- 2000
- Details
Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540442359
- Springer
- 2002
- Details
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. proceedings
(Contributor)
1 edition
- ISBN: 9783642113185
- Springer
- 2010
- Details
