First Page | Document Content | |
---|---|---|
Date: 2014-04-28 07:30:30 | Static Program Analysis Mooly Sagiv Hoare Proof Rules for Partial Correctness {A} skip {A}Add to Reading ListSource URL: www.cs.tau.ac.ilDownload Document from Source WebsiteFile Size: 765,17 KBShare Document on Facebook |