Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings - Steffen, Bernhard; Levi, Giorgio (Springer Berlin Heidelberg, 2004)