Verifying Correctness of Persistent Concurrent Data Structures
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Verifying Correctness of Persistent Concurrent Data Structures
FM, 2019.

FM 2019
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{FM-2019-DerrickDDSW,
	author        = "John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim",
	booktitle     = "{Third World Congress on Formal Methods: The Next 30 Years}",
	doi           = "10.1007/978-3-030-30942-8_12",
	isbn          = "['978-3-030-30941-1', '978-3-030-30942-8']",
	pages         = "179--195",
	publisher     = "{Springer}",
	title         = "{Verifying Correctness of Persistent Concurrent Data Structures}",
	year          = 2019,
}

Tags:



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.