Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Dependently typed programming / Type theory / Automated theorem proving / Proof-carrying code / Formal verification / Automated proof checking / Frank Pfenning / Formal methods / Theoretical computer science / Mathematics


Document Date: 2010-10-29 12:59:28

Open Document

File Size: 1,57 MB

Share Result on Facebook
UPDATE