Formalizing and Proving Semantic Relations between Specifications by Reflection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino. Formalizing and Proving Semantic Relations between Specifications by Reflection. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 72-86, Springer, 2004. [doi]

This author has not been identified. It may be one of the following persons:

Manuel Clavel

Look up 'Manuel Clavel' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. Look up 'Miguel Palomino' in Google

runs on WebDSL