Commit 7df37ac1 authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: flanagan purity

parent 0dd15f62
......@@ -1471,6 +1471,18 @@
publisher = {ACM}
}
@Article{ flanagan2005:purity,
author = {Cormac Flanagan and Stephen N. Freund and Shaz Qadeer},
title = {Exploiting Purity for Atomicity},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {4},
pages = {275--291},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.47},
doi = {10.1109/TSE.2005.47},
}
@InProceedings{ flanagan2005:dpor,
title = {Dynamic partial-order reduction for model checking
software},
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment