%0 Conference Paper %1 conf/vmcai/MouraJ13 %A de Moura, Leonardo Mendonça %A Jovanovic, Dejan %B VMCAI %D 2013 %E Giacobazzi, Roberto %E Berdine, Josh %E Mastroeni, Isabella %I Springer %K dblp %P 1-12 %T A Model-Constructing Satisfiability Calculus. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#MouraJ13 %V 7737 %@ 978-3-642-35873-9

@inproceedings{conf/vmcai/MouraJ13, added-at = {2017-05-24T00:00:00.000+0200}, author = {de Moura, Leonardo Mendonça and Jovanovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/213c7245dc46d007921d4e099d31dabc1/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2013}, editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella}, ee = {https://doi.org/10.1007/978-3-642-35873-9_1}, interhash = {217f76c13ef39f7357b0e93c453bbbbb}, intrahash = {13c7245dc46d007921d4e099d31dabc1}, isbn = {978-3-642-35873-9}, keywords = {dblp}, pages = {1-12}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:12.000+0200}, title = {A Model-Constructing Satisfiability Calculus.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#MouraJ13}, volume = 7737, year = 2013 }