Continuous Formal Verification of Amazon s2n
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
Continuous Formal Verification of Amazon s2n
CAV, 2018.

CAV p2 2018
Full names Links ISxN
	author        = "Andrey Chudnov and Nathan Collins and Byron Cook and Joey Dodds and Brian Huffman and Colm MacCárthaigh and Stephen Magill and Eric Mertens and Eric Mullen and Serdar Tasiran and Aaron Tomb and Eddy Westbrook",
	booktitle     = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part II}",
	doi           = "10.1007/978-3-319-96142-2_26",
	isbn          = "['978-3-319-96141-5', '978-3-319-96142-2']",
	pages         = "430--446",
	publisher     = "{Springer}",
	title         = "{Continuous Formal Verification of Amazon s2n}",
	year          = 2018,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.