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}, }