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]
@inproceedings{ClavelMP04,
title = {Formalizing and Proving Semantic Relations between Specifications by Reflection},
author = {Manuel Clavel and Narciso MartÃ-Oliet and Miguel Palomino},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=72},
tags = {reflection},
researchr = {https://researchr.org/publication/ClavelMP04},
cites = {0},
citedby = {0},
pages = {72-86},
booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings},
editor = {Charles Rattray and Savi Maharaj and Carron Shankland},
volume = {3116},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22381-9},
}