Login / Signup

Technology for inferring contracts from code.

Francesco Logozzo
Published in: HILT (2013)
Keyphrases