@inproceedings{ dblp2393996,
  title = {PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL},
  author = {Heber Herencia-Zapana and Romain Jobredeaux and Sam Owre and Pierre-Loïc Garoche and Eric Feron and Gilberto Perez and Pablo Ascariz},
  author_short = {Herencia-Zapana, H. and Jobredeaux, R. and Owre, S. and Garoche, P. and Feron, E. and Perez, G. and Ascariz, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2393996},
  id = {dblp2393996},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/Herencia-ZapanaJOGFPA12},
  url = {http://dx.doi.org/10.1007/978-3-642-28891-3_15},
  conference = {NASA Formal Methods},
  pages = {147-161},
  text = {NASA Formal Methods 2012:147-161},
  booktitle = {Proceedings of NASA Formal Methods}
}

{"_id":{"_str":"5422819bc6071b817c00021f"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Herencia-Zapana, H.","Jobredeaux, R.","Owre, S.","Garoche, P.","Feron, E.","Perez, G.","Ascariz, P."],"bibbaseid":"herenciazapana-jobredeaux-owre-garoche-feron-perez-ascariz-pvslinearalgebralibrariesforverificationofcontrolsoftwarealgorithmsincacsl-2012","bibdata":{"title":"PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL","author":["Heber Herencia-Zapana","Romain Jobredeaux","Sam Owre","Pierre-Loïc Garoche","Eric Feron","Gilberto Perez","Pablo Ascariz"],"author_short":["Herencia-Zapana, H.","Jobredeaux, R.","Owre, S.","Garoche, P.","Feron, E.","Perez, G.","Ascariz, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2393996","id":"dblp2393996","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/Herencia-ZapanaJOGFPA12","url":"http://dx.doi.org/10.1007/978-3-642-28891-3_15","conference":"NASA Formal Methods","pages":"147-161","text":"NASA Formal Methods 2012:147-161","booktitle":"Proceedings of NASA Formal Methods","bibtex":"@inproceedings{ dblp2393996,\n title = {PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL},\n author = {Heber Herencia-Zapana and Romain Jobredeaux and Sam Owre and Pierre-Loïc Garoche and Eric Feron and Gilberto Perez and Pablo Ascariz},\n author_short = {Herencia-Zapana, H. and Jobredeaux, R. and Owre, S. and Garoche, P. and Feron, E. and Perez, G. and Ascariz, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2393996},\n id = {dblp2393996},\n biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/Herencia-ZapanaJOGFPA12},\n url = {http://dx.doi.org/10.1007/978-3-642-28891-3_15},\n conference = {NASA Formal Methods},\n pages = {147-161},\n text = {NASA Formal Methods 2012:147-161},\n booktitle = {Proceedings of NASA Formal Methods}\n}","bibbaseid":"herenciazapana-jobredeaux-owre-garoche-feron-perez-ascariz-pvslinearalgebralibrariesforverificationofcontrolsoftwarealgorithmsincacsl-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-28891-3_15"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/Herencia-ZapanaJOGFPA12","creationDate":"2014-09-24T08:32:27.996Z","downloads":0,"keywords":[],"search_terms":["pvs","linear","algebra","libraries","verification","control","software","algorithms","acsl","herencia-zapana","jobredeaux","owre","garoche","feron","perez","ascariz"],"title":"PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL","year":2012,"dataSources":["t4xjFFcARHApefAPJ"]}