Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Metalogic / Automated theorem proving / Logic programming / Substitution / Postcondition / First-order logic / Parameter / Precondition / Well-formed formula / Model theory


Call by Contract for Cryptographic Protocols
Add to Reading List

Document Date: 2008-06-23 13:57:19

Open Document

File Size: 615,45 KB

Share Result on Facebook