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 with

First Page		Document Content
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 with Add to Reading List Source URL: cybersec-prod.s3.amazonaws.com Download Document from Source Website File Size: 37,88 KB Share Document on Facebook