Reasoning about static and dynamic properties in alloy: A purely relational approach. Frias, M. F., Pombo, C. L., Baum, G. A., Aguirre, N., & Maibaum, T. S. E. ACM Trans. Softw. Eng. Methodol., 14(4):478–526, 2005. Paper doi bibtex @article{DBLP:journals/tosem/FriasPBAM05,
author = {Marcelo F. Frias and Carlos L{\'{o}}pez Pombo and Gabriel A. Baum and Nazareno Aguirre and T. S. E. Maibaum},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},
doi = {10.1145/1101815.1101819},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
number = {4},
pages = {478--526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
title = {Reasoning about static and dynamic properties in alloy: {A} purely relational approach},
url = {https://doi.org/10.1145/1101815.1101819},
volume = {14},
year = {2005},
Bdsk-Url-1 = {https://doi.org/10.1145/1101815.1101819},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/1101815.1101819}}
Downloads: 0
{"_id":"YgoxnPAttHdkgDvQR","bibbaseid":"frias-pombo-baum-aguirre-maibaum-reasoningaboutstaticanddynamicpropertiesinalloyapurelyrelationalapproach-2005","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Frias, M. F.","Pombo, C. L.","Baum, G. A.","Aguirre, N.","Maibaum, T. S. E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Carlos","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["Gabriel","A."],"propositions":[],"lastnames":["Baum"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/tosem/FriasPBAM05.bib","doi":"10.1145/1101815.1101819","journal":"ACM Trans. Softw. Eng. Methodol.","number":"4","pages":"478–526","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","title":"Reasoning about static and dynamic properties in alloy: A purely relational approach","url":"https://doi.org/10.1145/1101815.1101819","volume":"14","year":"2005","bdsk-url-1":"https://doi.org/10.1145/1101815.1101819","bdsk-url-2":"http://dx.doi.org/10.1145/1101815.1101819","bibtex":"@article{DBLP:journals/tosem/FriasPBAM05,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Gabriel A. Baum and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},\n\tdoi = {10.1145/1101815.1101819},\n\tjournal = {{ACM} Trans. Softw. Eng. Methodol.},\n\tnumber = {4},\n\tpages = {478--526},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Reasoning about static and dynamic properties in alloy: {A} purely relational approach},\n\turl = {https://doi.org/10.1145/1101815.1101819},\n\tvolume = {14},\n\tyear = {2005},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1101815.1101819},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1101815.1101819}}\n\n","author_short":["Frias, M. F.","Pombo, C. L.","Baum, G. A.","Aguirre, N.","Maibaum, T. S. E."],"key":"DBLP:journals/tosem/FriasPBAM05","id":"DBLP:journals/tosem/FriasPBAM05","bibbaseid":"frias-pombo-baum-aguirre-maibaum-reasoningaboutstaticanddynamicpropertiesinalloyapurelyrelationalapproach-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1101815.1101819"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.611Z","downloads":0,"keywords":[],"search_terms":["reasoning","static","dynamic","properties","alloy","purely","relational","approach","frias","pombo","baum","aguirre","maibaum"],"title":"Reasoning about static and dynamic properties in alloy: A purely relational approach","year":2005,"dataSources":["CctimS4AgKgzGybH5"]}