%0 Conference Paper %1 conf/ifm/LucanuR13 %A Lucanu, Dorel %A Rusu, Vlad %B IFM %D 2013 %E Johnsen, Einar Broch %E Petre, Luigia %I Springer %K dblp %P 362-377 %T Program Equivalence by Circular Reasoning. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#LucanuR13 %V 7940 %@ 978-3-642-38613-8

@inproceedings{conf/ifm/LucanuR13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Lucanu, Dorel and Rusu, Vlad}, biburl = {https://www.bibsonomy.org/bibtex/25098aa615ddde861ac9a92f88f810161/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2013}, editor = {Johnsen, Einar Broch and Petre, Luigia}, ee = {https://doi.org/10.1007/978-3-642-38613-8_25}, interhash = {57d8d537a31040ee6d98516f8be6daab}, intrahash = {5098aa615ddde861ac9a92f88f810161}, isbn = {978-3-642-38613-8}, keywords = {dblp}, pages = {362-377}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:30.000+0200}, title = {Program Equivalence by Circular Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#LucanuR13}, volume = 7940, year = 2013 }