@inproceedings{ dblp2163224,
  title = {Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers},
  author = {Pierre-Loïc Garoche and Temesghen Kahsai and Cesare Tinelli},
  author_short = {Garoche, P. and Kahsai, T. and Tinelli, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2163224},
  id = {dblp2163224},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheKT13},
  url = {http://dx.doi.org/10.1007/978-3-642-38088-4_10},
  conference = {NASA Formal Methods},
  pages = {139-154},
  text = {NASA Formal Methods 2013:139-154},
  booktitle = {Proceedings of NASA Formal Methods}
}

{"_id":{"_str":"5422819bc6071b817c00021c"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Garoche, P.","Kahsai, T.","Tinelli, C."],"bibbaseid":"garoche-kahsai-tinelli-incrementalinvariantgenerationusinglogicbasedautomaticabstracttransformers-2013","bibdata":{"title":"Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers","author":["Pierre-Loïc Garoche","Temesghen Kahsai","Cesare Tinelli"],"author_short":["Garoche, P.","Kahsai, T.","Tinelli, C."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2163224","id":"dblp2163224","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/GarocheKT13","url":"http://dx.doi.org/10.1007/978-3-642-38088-4_10","conference":"NASA Formal Methods","pages":"139-154","text":"NASA Formal Methods 2013:139-154","booktitle":"Proceedings of NASA Formal Methods","bibtex":"@inproceedings{ dblp2163224,\n title = {Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers},\n author = {Pierre-Loïc Garoche and Temesghen Kahsai and Cesare Tinelli},\n author_short = {Garoche, P. and Kahsai, T. and Tinelli, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2163224},\n id = {dblp2163224},\n biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheKT13},\n url = {http://dx.doi.org/10.1007/978-3-642-38088-4_10},\n conference = {NASA Formal Methods},\n pages = {139-154},\n text = {NASA Formal Methods 2013:139-154},\n booktitle = {Proceedings of NASA Formal Methods}\n}","bibbaseid":"garoche-kahsai-tinelli-incrementalinvariantgenerationusinglogicbasedautomaticabstracttransformers-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-38088-4_10"},"downloads":1},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/GarocheKT13","creationDate":"2014-09-24T08:32:27.995Z","downloads":1,"keywords":[],"search_terms":["incremental","invariant","generation","using","logic","based","automatic","abstract","transformers","garoche","kahsai","tinelli"],"title":"Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers","year":2013,"dataSources":["5ioJFEznigjvuXswA"]}