%0 Conference Paper %1 conf/amast/ClavelMP04 %A Clavel, Manuel %A Martí-Oliet, Narciso %A Palomino, Miguel %B AMAST %D 2004 %E Rattray, Charles %E Maharaj, Savi %E Shankland, Carron %I Springer %K dblp %P 72-86 %T Formalizing and Proving Semantic Relations between Specifications by Reflection. %U http://dblp.uni-trier.de/db/conf/amast/amast2004.html#ClavelMP04 %V 3116 %@ 3-540-22381-9

@inproceedings{conf/amast/ClavelMP04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Clavel, Manuel and Martí-Oliet, Narciso and Palomino, Miguel}, biburl = {https://www.bibsonomy.org/bibtex/244a61c89d11f6713a48abaff7dbca66f/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2004}, editor = {Rattray, Charles and Maharaj, Savi and Shankland, Carron}, ee = {https://doi.org/10.1007/978-3-540-27815-3_10}, interhash = {2b816a2063c17b27996708876b194c18}, intrahash = {44a61c89d11f6713a48abaff7dbca66f}, isbn = {3-540-22381-9}, keywords = {dblp}, pages = {72-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:18.000+0200}, title = {Formalizing and Proving Semantic Relations between Specifications by Reflection.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2004.html#ClavelMP04}, volume = 3116, year = 2004 }