@inproceedings{ dblp1827761,
  title = {Synthesizing Modular Invariants for Synchronous Code},
  author = {Pierre-Loïc Garoche and Arie Gurfinkel and Temesghen Kahsai},
  author_short = {Garoche, P. and Gurfinkel, A. and Kahsai, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1827761},
  id = {dblp1827761},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/GarocheGK14},
  url = {http://dx.doi.org/10.4204/EPTCS.169.4},
  conference = {HCVS},
  pages = {19-30},
  text = {HCVS 2014:19-30},
  booktitle = {Proceedings of HCVS}
}

{"_id":"f3QZbPZ9kf4FBjk5J","authorIDs":["5456f0818b01c81930000085"],"author_short":["Garoche, P.","Gurfinkel, A.","Kahsai, T."],"bibbaseid":"garoche-gurfinkel-kahsai-synthesizingmodularinvariantsforsynchronouscode-2014","bibdata":{"title":"Synthesizing Modular Invariants for Synchronous Code","author":["Pierre-Loïc Garoche","Arie Gurfinkel","Temesghen Kahsai"],"author_short":["Garoche, P.","Gurfinkel, A.","Kahsai, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1827761","id":"dblp1827761","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/GarocheGK14","url":"http://dx.doi.org/10.4204/EPTCS.169.4","conference":"HCVS","pages":"19-30","text":"HCVS 2014:19-30","booktitle":"Proceedings of HCVS","bibtex":"@inproceedings{ dblp1827761,\n title = {Synthesizing Modular Invariants for Synchronous Code},\n author = {Pierre-Loïc Garoche and Arie Gurfinkel and Temesghen Kahsai},\n author_short = {Garoche, P. and Gurfinkel, A. and Kahsai, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1827761},\n id = {dblp1827761},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/GarocheGK14},\n url = {http://dx.doi.org/10.4204/EPTCS.169.4},\n conference = {HCVS},\n pages = {19-30},\n text = {HCVS 2014:19-30},\n booktitle = {Proceedings of HCVS}\n}","bibbaseid":"garoche-gurfinkel-kahsai-synthesizingmodularinvariantsforsynchronouscode-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.169.4"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/GarocheGK14","creationDate":"2015-01-03T01:57:53.851Z","downloads":0,"keywords":[],"search_terms":["synthesizing","modular","invariants","synchronous","code","garoche","gurfinkel","kahsai"],"title":"Synthesizing Modular Invariants for Synchronous Code","year":2014,"dataSources":["p9cjCzsnzeHTzafvD"]}