%0 Journal Article %1 journals/corr/BettsCDDK16 %A Betts, Adam %A Chong, Nathan %A Deligiannis, Pantazis %A Donaldson, Alastair F. %A Ketema, Jeroen %D 2016 %J CoRR %K %T Implementing and Evaluating Candidate-Based Invariant Generation. %U http://dblp.uni-trier.de/db/journals/corr/corr1612.html#BettsCDDK16 %V abs/1612.01198

@article{journals/corr/BettsCDDK16, added-at = {2023-12-13T08:50:15.000+0100}, author = {Betts, Adam and Chong, Nathan and Deligiannis, Pantazis and Donaldson, Alastair F. and Ketema, Jeroen}, biburl = {https://www.bibsonomy.org/bibtex/21e48a38c64e264381ea4e8c54991ec9d/admin}, ee = {http://arxiv.org/abs/1612.01198}, interhash = {c7fe0e0b97d4b90dda3d1afcf360b744}, intrahash = {1e48a38c64e264381ea4e8c54991ec9d}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T08:50:15.000+0100}, title = {Implementing and Evaluating Candidate-Based Invariant Generation.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1612.html#BettsCDDK16}, volume = {abs/1612.01198}, year = 2016 }