![](https://www.pdfsearch.io/img/b4ddb994b9d0670cd14df55a438e7d71.jpg) Date: 2016-10-05 17:20:39
| | A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system withAdd to Reading ListSource URL: cybersec-prod.s3.amazonaws.comDownload Document from Source Website File Size: 37,88 KBShare Document on Facebook
|