Back to Results
First PageMeta Content
Benjamin Pierce / Pierce / Formal verification / E / Programming language / Applied mathematics / Mathematics / Computer science / Hardware verification languages / Formal methods / Logic in computer science


Verification Challenges of Pervasive Information Flow Benjamin C. Pierce
Add to Reading List

Document Date: 2012-02-11 22:13:22

Open Document

File Size: 2,78 MB

Share Result on Facebook
UPDATE