Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud - Marie - Document - PDFSEARCH.IO

First Page	Meta Content
	Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud & CNRS July 2011 Add to Reading List Document Date: 2011-07-01 08:02:08 Open Document File Size: 933,75 KB Share Result on Facebook

Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud & CNRS July 2011Add to Reading List