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]
No references recorded for this publication.
No citations of this publication recorded.