C32SAT: Checking C Expressions. Brummayer, R. & Biere, A. In Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pages 294-297, 2007. ![C32SAT: Checking C Expressions [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @inproceedings{ DBLP:conf/cav/BrummayerB07,
author = {Robert Brummayer and Armin Biere},
title = {C32SAT: Checking C Expressions},
booktitle = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
pages = {294-297},
ee = {http://dx.doi.org/10.1007/978-3-540-73368-3_33} ,
year = {2007}
}
Downloads: 0
{"_id":{"_str":"51fc1633c5b22c38760012d1"},"__v":11,"authorIDs":["5458d377b43425b77200020f","54593b80b43425b7720003cb"],"author_short":["Brummayer, R.","Biere, A."],"bibbaseid":"brummayer-biere-c32satcheckingcexpressions-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Brummayer"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"C32SAT: Checking C Expressions","booktitle":"Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings","pages":"294-297","ee":"http://dx.doi.org/10.1007/978-3-540-73368-3_33","year":"2007","bibtex":"@inproceedings{ DBLP:conf/cav/BrummayerB07,\n author = {Robert Brummayer and Armin Biere},\n title = {C32SAT: Checking C Expressions},\n booktitle = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},\n pages = {294-297},\n ee = {http://dx.doi.org/10.1007/978-3-540-73368-3_33} ,\n year = {2007}\n}\n\n\n","author_short":["Brummayer, R.","Biere, A."],"key":"DBLP:conf/cav/BrummayerB07","id":"DBLP:conf/cav/BrummayerB07","bibbaseid":"brummayer-biere-c32satcheckingcexpressions-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-73368-3_33"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/proceedings/computer-aided-verification-19th-international-conference-cav-2007-berlin-germany-july-3-7-2007-proceedings/?format=bibtex","downloads":0,"keywords":[],"search_terms":["c32sat","checking","expressions","brummayer","biere"],"title":"C32SAT: Checking C Expressions","title_words":["c32sat","checking","expressions"],"year":2007,"dataSources":["qJzQxrmiT6biKBCDb"]}