Integrating a set of contract checking tools into visual studio - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Manuel Fähndrich' in GoogleThis author has not been identified. Look up 'Michael Barnett 0001' in GoogleThis author has not been identified. Look up 'Daan Leijen' in GoogleThis author has not been identified. Look up 'Francesco Logozzo' in Google

runs on WebDSL