%0 Conference Paper %1 conf/synasc/Bjorner09 %A Bjørner, Nikolaj S. %B SYNASC %D 2009 %E Watt, Stephen M. %E Negru, Viorel %E Ida, Tetsuo %E Jebelean, Tudor %E Petcu, Dana %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 15 %T SMT Solvers for Testing, Program Analysis and Verification at Microsoft. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2009.html#Bjorner09 %@ 978-1-4244-5910-0

@inproceedings{conf/synasc/Bjorner09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bjørner, Nikolaj S.}, biburl = {https://www.bibsonomy.org/bibtex/2abb2270aaafc20ae998834ee1842d44c/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2009}, editor = {Watt, Stephen M. and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.64}, interhash = {e06110661d87077804454fa829e144a4}, intrahash = {abb2270aaafc20ae998834ee1842d44c}, isbn = {978-1-4244-5910-0}, keywords = {dblp}, pages = 15, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:13:54.000+0200}, title = {SMT Solvers for Testing, Program Analysis and Verification at Microsoft.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2009.html#Bjorner09}, year = 2009 }