Towards Abstraction for DynAlloy Specifications. Aguirre, N., Frias, M. F., Ponzio, P., Cardiff, B. J., Galeotti, J. P., & Regis, G. In Liu, S., Maibaum, T. S. E., & Araki, K., 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, 2008. Springer. ![Towards Abstraction for DynAlloy Specifications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{DBLP:conf/icfem/AguirreFPCGR08,
author = {Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germ{\'{a}}n Regis},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib},
booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},
doi = {10.1007/978-3-540-88194-0\_14},
editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},
pages = {207--225},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
title = {Towards Abstraction for DynAlloy Specifications},
url = {https://doi.org/10.1007/978-3-540-88194-0\_14},
volume = {5256},
year = {2008},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-88194-0%5C_14},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-88194-0%5C_14}}
Downloads: 0
{"_id":"2kt8K4QXTQFRnaQqM","bibbaseid":"aguirre-frias-ponzio-cardiff-galeotti-regis-towardsabstractionfordynalloyspecifications-2008","author_short":["Aguirre, N.","Frias, M. F.","Ponzio, P.","Cardiff, B. J.","Galeotti, J. P.","Regis, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Pablo"],"propositions":[],"lastnames":["Ponzio"],"suffixes":[]},{"firstnames":["Brian","J."],"propositions":[],"lastnames":["Cardiff"],"suffixes":[]},{"firstnames":["Juan","P."],"propositions":[],"lastnames":["Galeotti"],"suffixes":[]},{"firstnames":["Germán"],"propositions":[],"lastnames":["Regis"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib","booktitle":"Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings","doi":"10.1007/978-3-540-88194-0_14","editor":[{"firstnames":["Shaoying"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]},{"firstnames":["Keijiro"],"propositions":[],"lastnames":["Araki"],"suffixes":[]}],"pages":"207–225","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:50 +0200","title":"Towards Abstraction for DynAlloy Specifications","url":"https://doi.org/10.1007/978-3-540-88194-0\\_14","volume":"5256","year":"2008","bdsk-url-1":"https://doi.org/10.1007/978-3-540-88194-0%5C_14","bdsk-url-2":"http://dx.doi.org/10.1007/978-3-540-88194-0%5C_14","bibtex":"@inproceedings{DBLP:conf/icfem/AguirreFPCGR08,\n\tauthor = {Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germ{\\'{a}}n Regis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},\n\tdoi = {10.1007/978-3-540-88194-0\\_14},\n\teditor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},\n\tpages = {207--225},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Towards Abstraction for DynAlloy Specifications},\n\turl = {https://doi.org/10.1007/978-3-540-88194-0\\_14},\n\tvolume = {5256},\n\tyear = {2008},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-88194-0%5C_14},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-88194-0%5C_14}}\n\n","author_short":["Aguirre, N.","Frias, M. F.","Ponzio, P.","Cardiff, B. J.","Galeotti, J. P.","Regis, G."],"editor_short":["Liu, S.","Maibaum, T. S. E.","Araki, K."],"key":"DBLP:conf/icfem/AguirreFPCGR08","id":"DBLP:conf/icfem/AguirreFPCGR08","bibbaseid":"aguirre-frias-ponzio-cardiff-galeotti-regis-towardsabstractionfordynalloyspecifications-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-88194-0\\_14"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["towards","abstraction","dynalloy","specifications","aguirre","frias","ponzio","cardiff","galeotti","regis"],"title":"Towards Abstraction for DynAlloy Specifications","year":2008}