Our Experience with the CodeContracts Static Checker - (Invited Tutorial).

Francesco Logozzo

Published in: VSTTE (2012)

Keyphrases

learning curve
information retrieval
digital libraries
data sets
genetic algorithm
learning algorithm
artificial intelligence
computer science
user experience
invited talk