Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)
Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France.