%0 Conference Paper %1 journals/corr/CokJ14 %A Cok, David R. %A Johnson, Scott C. %B F-IDE %D 2014 %E Dubois, Catherine %E Giannakopoulou, Dimitra %E Méry, Dominique %K dblp %P 44-57 %T SPEEDY: An Eclipse-based IDE for invariant inference. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#CokJ14 %V 149

@inproceedings{journals/corr/CokJ14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Cok, David R. and Johnson, Scott C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/228c855c03c7fefaaf3ebf46898446170/dblp}, booktitle = {F-IDE}, crossref = {journals/corr/DuboisGM14}, editor = {Dubois, Catherine and Giannakopoulou, Dimitra and Méry, Dominique}, ee = {http://arxiv.org/abs/1404.6605}, interhash = {1d52b844601314e2c87c80c3eaa662a8}, intrahash = {28c855c03c7fefaaf3ebf46898446170}, keywords = {dblp}, pages = {44-57}, series = {EPTCS}, timestamp = {2019-09-27T12:27:48.000+0200}, title = {SPEEDY: An Eclipse-based IDE for invariant inference.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#CokJ14}, volume = 149, year = 2014 }