Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings Levi Giorgio Heftet / 1998 / Engelsk
Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings Steffen Bernhard Heftet / 2004 / Engelsk
Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings Kirchner, Helene Heftet / 1992 / Engelsk
Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings Levi Giorgio Heftet / 1994 / Engelsk
Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings Boscarol Mauro Heftet / 1988 / Engelsk
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) Ehrig Hartmut Heftet / 1987 / Engelsk
