@inproceedings{conf/vmcai/SharmaR17,
  added-at = {2024-08-08T00:00:00.000+0200},
  author = {Sharma, Tushar and Reps, Thomas W.},
  biburl = {https://www.bibsonomy.org/bibtex/28399a33d88891068657ceaaeb7f9a94b/dblp},
  booktitle = {VMCAI},
  crossref = {conf/vmcai/2017},
  editor = {Bouajjani, Ahmed and Monniaux, David},
  ee = {https://doi.org/10.1007/978-3-319-52234-0_27},
  interhash = {55d08c557e8c17419e28d7f063e23db6},
  intrahash = {8399a33d88891068657ceaaeb7f9a94b},
  isbn = {978-3-319-52233-3},
  keywords = {dblp},
  pages = {500-520},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-08-12T07:34:40.000+0200},
  title = {Sound Bit-Precise Numerical Domains.},
  url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#SharmaR17},
  volume = 10145,
  year = 2017
}

{"_id":"PsvsjHEsKMWqNraeD","bibbaseid":"sharma-reps-soundbitprecisenumericaldomains-2017","author_short":["Sharma, T.","Reps, T. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-08-08T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Sharma"],"firstnames":["Tushar"],"suffixes":[]},{"propositions":[],"lastnames":["Reps"],"firstnames":["Thomas","W."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/28399a33d88891068657ceaaeb7f9a94b/dblp","booktitle":"VMCAI","crossref":"conf/vmcai/2017","editor":[{"propositions":[],"lastnames":["Bouajjani"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Monniaux"],"firstnames":["David"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-52234-0_27","interhash":"55d08c557e8c17419e28d7f063e23db6","intrahash":"8399a33d88891068657ceaaeb7f9a94b","isbn":"978-3-319-52233-3","keywords":"dblp","pages":"500-520","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-08-12T07:34:40.000+0200","title":"Sound Bit-Precise Numerical Domains.","url":"http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#SharmaR17","volume":"10145","year":"2017","bibtex":"@inproceedings{conf/vmcai/SharmaR17,\n added-at = {2024-08-08T00:00:00.000+0200},\n author = {Sharma, Tushar and Reps, Thomas W.},\n biburl = {https://www.bibsonomy.org/bibtex/28399a33d88891068657ceaaeb7f9a94b/dblp},\n booktitle = {VMCAI},\n crossref = {conf/vmcai/2017},\n editor = {Bouajjani, Ahmed and Monniaux, David},\n ee = {https://doi.org/10.1007/978-3-319-52234-0_27},\n interhash = {55d08c557e8c17419e28d7f063e23db6},\n intrahash = {8399a33d88891068657ceaaeb7f9a94b},\n isbn = {978-3-319-52233-3},\n keywords = {dblp},\n pages = {500-520},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-08-12T07:34:40.000+0200},\n title = {Sound Bit-Precise Numerical Domains.},\n url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#SharmaR17},\n volume = 10145,\n year = 2017\n}\n\n","author_short":["Sharma, T.","Reps, T. W."],"editor_short":["Bouajjani, A.","Monniaux, D."],"key":"conf/vmcai/SharmaR17","id":"conf/vmcai/SharmaR17","bibbaseid":"sharma-reps-soundbitprecisenumericaldomains-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-52234-0_27","Paper":"http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#SharmaR17"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Thomas?items=1000","dataSources":["Wze2LBds9bM8uwxm8"],"keywords":["dblp"],"search_terms":["sound","bit","precise","numerical","domains","sharma","reps"],"title":"Sound Bit-Precise Numerical Domains.","year":2017}