Correct Code Containing Containers.

Claire Dross Jean-Christophe Filliâtre Yannick Moy

Published in: TAP@TOOLS (2011)

Keyphrases

source code
short list
data sets
program code
database
neural network
information retrieval
information systems
static analysis