Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France.