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 2011Add to Reading ListSource URL: www.tap2011.informatik.uni-bremen.deDownload Document from Source WebsiteFile Size: 933,75 KBShare Document on Facebook |