Afshin Amighi, Stefan Blom, Marieke Huisman. VerCors: A Layered Approach to Practical Verification of Concurrent Software. In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016. pages 495-503, IEEE, 2016. [doi]
@inproceedings{AmighiBH16,
title = {VerCors: A Layered Approach to Practical Verification of Concurrent Software},
author = {Afshin Amighi and Stefan Blom and Marieke Huisman},
year = {2016},
doi = {10.1109/PDP.2016.107},
url = {http://doi.ieeecomputersociety.org/10.1109/PDP.2016.107},
researchr = {https://researchr.org/publication/AmighiBH16},
cites = {0},
citedby = {0},
pages = {495-503},
booktitle = {24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016},
publisher = {IEEE},
isbn = {978-1-4673-8776-7},
}