Artikel in einem Konferenzbericht,
Verifying atomicity via data independence.
O. Shacham, E. Yahav, G. Golan-Gueta, A. Aiken, N. Bronson, M. Sagiv, und M. Vechev.ISSTA, Seite 26-36. ACM, (2014)
Metadaten
- BibTeX-Schlüssel
- conf/issta/ShachamYGABSV14
- Eintragstyp
- inproceedings
- Buchtitel
- ISSTA
- Jahr
- 2014
- Seiten
- 26-36
- Verlag
- ACM
- BibTeX-Querverweis
- conf/issta/2014
- ee
- https://doi.org/10.1145/2610384.2610402
- isbn
- 978-1-4503-2645-2
- URL
- http://dblp.uni-trier.de/db/conf/issta/issta2014.html#ShachamYGABSV14
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%0 Conference Paper
%1 conf/issta/ShachamYGABSV14
%A Shacham, Ohad
%A Yahav, Eran
%A Golan-Gueta, Guy
%A Aiken, Alex
%A Bronson, Nathan Grasso
%A Sagiv, Mooly
%A Vechev, Martin T.
%B ISSTA
%D 2014
%E Pasareanu, Corina S.
%E Marinov, Darko
%I ACM
%K dblp
%P 26-36
%T Verifying atomicity via data independence.
%U http://dblp.uni-trier.de/db/conf/issta/issta2014.html#ShachamYGABSV14
%@ 978-1-4503-2645-2
@inproceedings{conf/issta/ShachamYGABSV14,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Shacham, Ohad and Yahav, Eran and Golan-Gueta, Guy and Aiken, Alex and Bronson, Nathan Grasso and Sagiv, Mooly and Vechev, Martin T.},
biburl = {https://www.bibsonomy.org/bibtex/2e62b13aeb32a09db733dea419841532c/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/2014},
editor = {Pasareanu, Corina S. and Marinov, Darko},
ee = {https://doi.org/10.1145/2610384.2610402},
interhash = {394506e6c8f310124976ef66268b0c69},
intrahash = {e62b13aeb32a09db733dea419841532c},
isbn = {978-1-4503-2645-2},
keywords = {dblp},
pages = {26-36},
publisher = {ACM},
timestamp = {2018-11-07T13:03:28.000+0100},
title = {Verifying atomicity via data independence.},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2014.html#ShachamYGABSV14},
year = 2014
}