Refinement via Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Manuel A. Martins' in GoogleThis author has not been identified. Look up 'Alexandre Madeira' in GoogleThis author has not been identified. Look up 'LuÃs Soares Barbosa' in Google

runs on WebDSL