Mohamed Nassim Seghir, Daniel Kroening. A visual studio plug-in for CProver. In 3rd International Workshop on Developing Tools as Plug-ins, TOPI 2013, San Francisco, CA, USA, MAy 21, 2013. pages 43-48, IEEE Computer Society, 2013. [doi]
@inproceedings{SeghirK13-0,
title = {A visual studio plug-in for CProver},
author = {Mohamed Nassim Seghir and Daniel Kroening},
year = {2013},
doi = {10.1109/TOPI.2013.6597193},
url = {http://doi.ieeecomputersociety.org/10.1109/TOPI.2013.6597193},
researchr = {https://researchr.org/publication/SeghirK13-0},
cites = {0},
citedby = {0},
pages = {43-48},
booktitle = {3rd International Workshop on Developing Tools as Plug-ins, TOPI 2013, San Francisco, CA, USA, MAy 21, 2013},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-6288-7},
}