Stefan Ciobaca, Dorel Lucanu, Rusu, Vlad, Grigore Rosu. A Language-Independent Proof System for Mutual Program Equivalence. Formal Asp. Comput., to appear, 2016.
@article{ciobaca:hal-01245528,
title = {A Language-Independent Proof System for Mutual Program Equivalence},
author = {Stefan Ciobaca and Dorel Lucanu and Rusu, Vlad and Grigore Rosu},
year = {2016},
url = {https://hal.inria.fr/hal-01245528},
researchr = {https://researchr.org/publication/ciobaca%3Ahal-01245528},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {to appear},
}