%0 Journal Article %1 journals/corr/MullerPP016 %A Müller, Norbert Th. %A Park, Sewon %A Preining, Norbert %A Ziegler, Martin %D 2016 %J CoRR %K dblp %T On Formal Verification in Imperative Multivalued Programming over Continuous Data Types. %U http://dblp.uni-trier.de/db/journals/corr/corr1608.html#MullerPP016 %V abs/1608.05787

@article{journals/corr/MullerPP016, added-at = {2018-08-13T00:00:00.000+0200}, author = {Müller, Norbert Th. and Park, Sewon and Preining, Norbert and Ziegler, Martin}, biburl = {https://www.bibsonomy.org/bibtex/26ac0a677ae4e8d2769d2dc00e1090ac1/dblp}, ee = {http://arxiv.org/abs/1608.05787}, interhash = {511c98e281762801741b567a8e6675a9}, intrahash = {6ac0a677ae4e8d2769d2dc00e1090ac1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:12:46.000+0200}, title = {On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1608.html#MullerPP016}, volume = {abs/1608.05787}, year = 2016 }