Integrating a set of contract checking tools into visual studio.

Manuel Fähndrich Michael Barnett Daan Leijen Francesco Logozzo

Published in: TOPI@ICSE (2012)

Keyphrases

query processing