Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14--16, 2007. Proceedings
scientific article