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)