@ARTICLE{Anb10,
  author = {Anberr{\'e}e, Thomas},
  title = {Semantical proofs of correctness for programs performing non-deterministic
	tests on real numbers},
  journal = {Math. Structures Comput. Sci.},
  year = {2010},
  volume = {20},
  pages = {723--751},
  number = {5},
  doi = {10.1017/S0960129510000186},
  file = {Anb10.pdf:Anb10.pdf:PDF},
  fjournal = {Mathematical Structures in Computer Science. A Journal in the Applications
	of Categorical, Algebraic and Geometric Methods in Computer Science},
  issn = {0960-1295},
  keywords = {bib,cca},
  mrclass = {68N18 (68Q55)},
  mrnumber = {2735840 (2012a:68041)},
  owner = {Vasco},
  timestamp = {2014.10.18},
  url = {http://dx.doi.org/10.1017/S0960129510000186}
}

{"_id":"5Ya2MChTc6jEnDCPT","bibbaseid":"anberre-semanticalproofsofcorrectnessforprogramsperformingnondeterministictestsonrealnumbers-2010","authorIDs":[],"author_short":["Anberrée, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Anberrée"],"firstnames":["Thomas"],"suffixes":[]}],"title":"Semantical proofs of correctness for programs performing non-deterministic tests on real numbers","journal":"Math. Structures Comput. Sci.","year":"2010","volume":"20","pages":"723–751","number":"5","doi":"10.1017/S0960129510000186","file":"Anb10.pdf:Anb10.pdf:PDF","fjournal":"Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science","issn":"0960-1295","keywords":"bib,cca","mrclass":"68N18 (68Q55)","mrnumber":"2735840 (2012a:68041)","owner":"Vasco","timestamp":"2014.10.18","url":"http://dx.doi.org/10.1017/S0960129510000186","bibtex":"@ARTICLE{Anb10,\r\n author = {Anberr{\\'e}e, Thomas},\r\n title = {Semantical proofs of correctness for programs performing non-deterministic\r\n\ttests on real numbers},\r\n journal = {Math. Structures Comput. Sci.},\r\n year = {2010},\r\n volume = {20},\r\n pages = {723--751},\r\n number = {5},\r\n doi = {10.1017/S0960129510000186},\r\n file = {Anb10.pdf:Anb10.pdf:PDF},\r\n fjournal = {Mathematical Structures in Computer Science. A Journal in the Applications\r\n\tof Categorical, Algebraic and Geometric Methods in Computer Science},\r\n issn = {0960-1295},\r\n keywords = {bib,cca},\r\n mrclass = {68N18 (68Q55)},\r\n mrnumber = {2735840 (2012a:68041)},\r\n owner = {Vasco},\r\n timestamp = {2014.10.18},\r\n url = {http://dx.doi.org/10.1017/S0960129510000186}\r\n}\r\n\r\n","author_short":["Anberrée, T."],"key":"Anb10","id":"Anb10","bibbaseid":"anberre-semanticalproofsofcorrectnessforprogramsperformingnondeterministictestsonrealnumbers-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/S0960129510000186"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.298Z","downloads":0,"keywords":["bib","cca"],"search_terms":["semantical","proofs","correctness","programs","performing","non","deterministic","tests","real","numbers","anberrée"],"title":"Semantical proofs of correctness for programs performing non-deterministic tests on real numbers","year":2010,"dataSources":["t7rKiAbxugj4Agz8M"]}