Verifying computations with state
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state
SOSP, 2013.

SOSP 2013
Full names Links ISxN
	author        = "Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath T. V. Setty and Andrew J. Blumberg and Michael Walfish",
	booktitle     = "{Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles}",
	doi           = "10.1145/2517349.2522733",
	isbn          = "978-1-4503-2388-8",
	pages         = "341--357",
	publisher     = "{ACM}",
	title         = "{Verifying computations with state}",
	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.