First Page | Document Content | |
---|---|---|
Date: 2008-06-23 13:57:19Formal 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 ProtocolsAdd to Reading ListSource URL: evenmere.orgDownload Document from Source WebsiteFile Size: 615,45 KBShare Document on Facebook |