TY  - RPRT
TI  - Implementing and Evaluating Candidate-Based Invariant Generation
AU  - Adam Betts
AU  - Nathan Chong
AU  - Pantazis Deligiannis
AU  - Alastair F. Donaldson
AU  - Jeroen Ketema
PY  - 2017
UR  - https://arxiv.org/abs/1612.01198
ID  - 1612.01198
ER  -