Formal Methods at Intel - An Overview

By J. Harrison. 2010

11 citations recorded by the source corpus.

Subfields: Program Analysis & Verification, Software Engineering