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

First Page		Document Content
Date: 2011-07-01 08:02:08		Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud & CNRS July 2011 Add to Reading List Source URL: www.tap2011.informatik.uni-bremen.de Download Document from Source Website File Size: 933,75 KB Share Document on Facebook