Giorgio Levi
4 published titles
Logic programming : proceedings of the sixth International Conference
(Contributor)
1 edition
- ISBN: 0262620650
- MIT Press
- 1989
- Details
Advances in logic programming theory
(Contributor)
1 edition
- ISBN: 0198538537
- Clarendon
- 1994
- Details
Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540650148
- Springer
- 1998
- Details
Verification, model checking and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540208038
- Springer
- 2004
- Details
