東華大學圖書館 |

Works:	1 works in 2 publications in 1 languages

Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service); VMCAI 2010 ((2010 :) (Language materials, printed)

Static analysis = 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: Hermenegildo, Manuel.; Puebla, German.; SpringerLink (Online service); International Static Analysis Symposium (2002 :) (Language materials, printed)

Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by: Cabeza, Daniel.; Hermenegildo, Manuel.; SpringerLink (Online service); PADL 2005 ((2005 :) (Language materials, printed)

Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday / by: Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; SpringerLink (Online service) (Electronic resources)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: International Static Analysis Symposium (2023 :); Hermenegildo, Manuel.; Morales, Jose F.; SpringerLink (Online service) (Electronic resources)