Manuel Fähndrich, Michael Barnett 0001, Daan Leijen, Francesco Logozzo. Integrating a set of contract checking tools into visual studio. In Diego Garbervetsky, Sunghun Kim, editors, Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012. pages 43-48, IEEE, 2012. [doi]
@inproceedings{Fahndrich0LL12,
title = {Integrating a set of contract checking tools into visual studio},
author = {Manuel Fähndrich and Michael Barnett 0001 and Daan Leijen and Francesco Logozzo},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2667070},
researchr = {https://researchr.org/publication/Fahndrich0LL12},
cites = {0},
citedby = {0},
pages = {43-48},
booktitle = {Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012},
editor = {Diego Garbervetsky and Sunghun Kim},
publisher = {IEEE},
isbn = {978-1-4673-1820-4},
}