Sign in
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