@inproceedings{0d7f8aa3728e4e64a5eafa361918b4f6,
title = "Starling: Lightweight Concurrency Verification With Views",
author = "Windsor, {Matthew Bernard} and Dodds, {Michael David} and Parkinson, {Matthew J.} and Ben Simner",
year = "2017",
doi = "10.1007/978-3-319-63387-9_27",
language = "English",
isbn = "9783319633862",
volume = "1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "544--569",
editor = "Rupak Majumdar and Viktor Kuncak",
booktitle = "Computer aided verification",
note = "International Conference, Computer Aided Verification, 2017, CAV 2017 ; Conference date: 24-07-2017 Through 28-07-2017",
}