Manuel A. Martins, Alexandre Madeira, LuÃs Soares Barbosa. Refinement via Interpretation. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 250-259, IEEE Computer Society, 2009. [doi]
@inproceedings{MartinsMB09-0,
title = {Refinement via Interpretation},
author = {Manuel A. Martins and Alexandre Madeira and LuÃs Soares Barbosa},
year = {2009},
doi = {10.1109/SEFM.2009.35},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.35},
tags = {refinement},
researchr = {https://researchr.org/publication/MartinsMB09-0},
cites = {0},
citedby = {0},
pages = {250-259},
booktitle = {Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009},
editor = {Dang Van Hung and Padmanabhan Krishnan},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3870-9},
}