First Page | Document Content | |
---|---|---|
Date: 2005-10-11 03:37:04 | The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.frAdd to Reading ListSource URL: vstte.ethz.chDownload Document from Source WebsiteFile Size: 96,93 KBShare Document on Facebook |