Natalia López, Manuel Núñez, Ismael Rodríguez. Assessing the Expressivity of Formal Specification Languages. In Michael Johnson, Varmo Vene, editors, Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Volume 4019 of Lecture Notes in Computer Science, pages 220-234, Springer, 2006. [doi]
@inproceedings{LopezNR06,
title = {Assessing the Expressivity of Formal Specification Languages},
author = {Natalia López and Manuel Núñez and Ismael Rodríguez},
year = {2006},
doi = {http://dx.doi.org/10.1007/11784180_18},
researchr = {http://researchr.org/publication/LopezNR06},
cites = {0},
citedby = {0},
pages = {220-234},
booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
editor = {Michael Johnson and Varmo Vene},
volume = {4019},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35633-9},
}