CryptoVerif - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Software
rdfs:label	CryptoVerif
owl:sameAs	dbr:CryptoVerif
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/Cryptographic_protocol
skos:prefLabel	CryptoVerif
clgo:latestReleaseDate	2015-09-03
clgo:latestReleaseVersion	1.21
clgo:license	BSD licenses GNU General Public License
clgo:programmingLanguage	OCaml

About: clgr:CryptoVerif