Overview
| Artifact ID: | c0f78b9e900744ecef032a94140f159c0621e2ba |
|---|---|
| Wiki Page: | Attic 001 for Holding Various Files |
| Date: | 2017-06-09 09:16:25 |
| User: | martin_vahi |
| Artifact Attached: | 3821d35db99f8350832b98d575c33626d8678e29 |
| Filename: | Using_Horn_Clauses_for_Analyzing_Security_Protocols_by_Bruno_BLANCHET.pdf |
| Description: | Downloaded on 2017_06_09 from http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetBook09.pdf http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetBook09.html https://archive.is/e55f3 http://prosecco.gforge.inria.fr/personal/bblanche/publications/index.html http://prosecco.gforge.inria.fr/personal/bblanche/ |
Content Appended
(file is 267482 bytes of binary data)