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]
Abstract is missing.