First Page | Document Content | |
---|---|---|
Date: 2013-03-31 19:01:05 | Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research CambridgeAdd to Reading ListSource URL: www.cims.nyu.eduDownload Document from Source WebsiteFile Size: 288,05 KBShare Document on Facebook |