.:. Browse > List by authors > David .:.

1 document

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates Kong S., Jung Y., David C., Wang B.-Y., Yi K. In ASIAN Symposium on Programming Languages and Systems (2010) [inria-00515166 - version 1]