Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis. Towards Abstraction for DynAlloy Specifications. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 207-225, Springer, 2008. [doi]
@inproceedings{AguirreFPCGR08,
title = {Towards Abstraction for DynAlloy Specifications},
author = {Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germán Regis},
year = {2008},
doi = {10.1007/978-3-540-88194-0_14},
url = {http://dx.doi.org/10.1007/978-3-540-88194-0_14},
tags = {abstraction},
researchr = {https://researchr.org/publication/AguirreFPCGR08},
cites = {0},
citedby = {0},
pages = {207-225},
booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},
editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},
volume = {5256},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-88193-3},
}