%0 Conference Paper %1 conf/serp/JanickiR09 %A Janicki, Ryszard %A Romanowicz, Ewa %B Software Engineering Research and Practice %D 2009 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %K dblp %P 10-16 %T Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. %U http://dblp.uni-trier.de/db/conf/serp/serp2009.html#JanickiR09 %@ 1-60132-129-5

@inproceedings{conf/serp/JanickiR09, added-at = {2009-11-05T00:00:00.000+0100}, author = {Janicki, Ryszard and Romanowicz, Ewa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2086fd3f54ab65a4e10f9130e95017bcd/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2009}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {61f23e55f03522bd3a84043bfd5faa0a}, intrahash = {086fd3f54ab65a4e10f9130e95017bcd}, isbn = {1-60132-129-5}, keywords = {dblp}, pages = {10-16}, publisher = {CSREA Press}, timestamp = {2016-02-02T11:50:32.000+0100}, title = {Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2009.html#JanickiR09}, year = 2009 }