An Equational Calculus for Alloy. Frias, M. F., Pombo, C. L., & Aguirre, N. In Davies, J., Schulte, W., & Barnett, M., editors, Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, volume 3308, of Lecture Notes in Computer Science, pages 162–175, 2004. Springer. ![An Equational Calculus for Alloy [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{DBLP:conf/icfem/FriasPA04,
author = {Marcelo F. Frias and Carlos L{\'{o}}pez Pombo and Nazareno Aguirre},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},
booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
doi = {10.1007/978-3-540-30482-1\_19},
editor = {Jim Davies and Wolfram Schulte and Michael Barnett},
pages = {162--175},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
title = {An Equational Calculus for Alloy},
url = {https://doi.org/10.1007/978-3-540-30482-1\_19},
volume = {3308},
year = {2004},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30482-1%5C_19},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-30482-1%5C_19}}
Downloads: 0
{"_id":"8eeqZLZTkq5FrCk7P","bibbaseid":"frias-pombo-aguirre-anequationalcalculusforalloy-2004","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Frias, M. F.","Pombo, C. L.","Aguirre, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Carlos","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icfem/FriasPA04.bib","booktitle":"Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings","doi":"10.1007/978-3-540-30482-1_19","editor":[{"firstnames":["Jim"],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["Wolfram"],"propositions":[],"lastnames":["Schulte"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Barnett"],"suffixes":[]}],"pages":"162–175","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:50 +0200","title":"An Equational Calculus for Alloy","url":"https://doi.org/10.1007/978-3-540-30482-1_19","volume":"3308","year":"2004","bdsk-url-1":"https://doi.org/10.1007/978-3-540-30482-1%5C_19","bdsk-url-2":"http://dx.doi.org/10.1007/978-3-540-30482-1%5C_19","bibtex":"@inproceedings{DBLP:conf/icfem/FriasPA04,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},\n\tdoi = {10.1007/978-3-540-30482-1\\_19},\n\teditor = {Jim Davies and Wolfram Schulte and Michael Barnett},\n\tpages = {162--175},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {An Equational Calculus for Alloy},\n\turl = {https://doi.org/10.1007/978-3-540-30482-1\\_19},\n\tvolume = {3308},\n\tyear = {2004},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30482-1%5C_19},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-30482-1%5C_19}}\n\n","author_short":["Frias, M. F.","Pombo, C. L.","Aguirre, N."],"editor_short":["Davies, J.","Schulte, W.","Barnett, M."],"key":"DBLP:conf/icfem/FriasPA04","id":"DBLP:conf/icfem/FriasPA04","bibbaseid":"frias-pombo-aguirre-anequationalcalculusforalloy-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-30482-1_19"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.613Z","downloads":0,"keywords":[],"search_terms":["equational","calculus","alloy","frias","pombo","aguirre"],"title":"An Equational Calculus for Alloy","year":2004,"dataSources":["CctimS4AgKgzGybH5"]}