File systems deserve verification too!
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too!
PLOS, 2013.

PLOS 2013
Full names Links ISxN
	author        = "Gabriele Keller and Toby C. Murray and Sidney Amani and Liam O'Connor and Zilin Chen and Leonid Ryzhyk and Gerwin Klein and Gernot Heiser",
	booktitle     = "{Proceedings of the Seventh Workshop on Programming Languages and Operating Systems}",
	doi           = "10.1145/2525528.2525530",
	isbn          = "978-1-4503-2460-1",
	pages         = "7",
	publisher     = "{ACM}",
	title         = "{File systems deserve verification too!}",
	year          = 2013,


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.