Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Adjé, A. & Garoche, P. CoRR, 2014.
Paper bibtex @article{ dblp1779888,
title = {Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs},
author = {Assalé Adjé and Pierre-Loïc Garoche},
author_short = {Adjé, A. and Garoche, P.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1779888},
id = {dblp1779888},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/AdjeG14},
url = {http://arxiv.org/abs/1409.5089},
journal = {CoRR},
volume = {abs/1409.5089},
text = {CoRR abs/1409.5089 (2014)}
}
Downloads: 0
{"_id":"wze4tbnrqmsFqQPNi","authorIDs":["5456f0818b01c81930000085"],"author_short":["Adjé, A.","Garoche, P."],"bibbaseid":"adj-garoche-automaticsynthesisofpiecewiselinearquadraticinvariantsforprograms-2014","bibdata":{"title":"Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs","author":["Assalé Adjé","Pierre-Loïc Garoche"],"author_short":["Adjé, A.","Garoche, P."],"bibtype":"article","type":"article","year":"2014","key":"dblp1779888","id":"dblp1779888","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/AdjeG14","url":"http://arxiv.org/abs/1409.5089","journal":"CoRR","volume":"abs/1409.5089","text":"CoRR abs/1409.5089 (2014)","bibtex":"@article{ dblp1779888,\n title = {Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs},\n author = {Assalé Adjé and Pierre-Loïc Garoche},\n author_short = {Adjé, A. and Garoche, P.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1779888},\n id = {dblp1779888},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/AdjeG14},\n url = {http://arxiv.org/abs/1409.5089},\n journal = {CoRR},\n volume = {abs/1409.5089},\n text = {CoRR abs/1409.5089 (2014)}\n}","bibbaseid":"adj-garoche-automaticsynthesisofpiecewiselinearquadraticinvariantsforprograms-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1409.5089"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/AdjeG14","creationDate":"2014-12-02T17:03:37.006Z","downloads":0,"keywords":[],"search_terms":["automatic","synthesis","piecewise","linear","quadratic","invariants","programs","adjé","garoche"],"title":"Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs","year":2014,"dataSources":["vbRtiZ3tbS5mKB79d"]}