Categorical foundations for structured specifications in Z. Castro, P. F., Aguirre, N., Pombo, C. L., & Maibaum, T. S. E. Formal Asp. Comput., 27(5-6):831–865, 2015.
Paper doi bibtex @article{DBLP:journals/fac/CastroAPM15,
author = {Pablo F. Castro and Nazareno Aguirre and Carlos L{\'{o}}pez Pombo and T. S. E. Maibaum},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
doi = {10.1007/s00165-015-0336-0},
journal = {Formal Asp. Comput.},
number = {5-6},
pages = {831--865},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
title = {Categorical foundations for structured specifications in {Z}},
url = {https://doi.org/10.1007/s00165-015-0336-0},
volume = {27},
year = {2015},
Bdsk-Url-1 = {https://doi.org/10.1007/s00165-015-0336-0},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/s00165-015-0336-0}}
Downloads: 0
{"_id":"Ecf9FFtSqEhX3aizu","bibbaseid":"castro-aguirre-pombo-maibaum-categoricalfoundationsforstructuredspecificationsinz-2015","author_short":["Castro, P. F.","Aguirre, N.","Pombo, C. L.","Maibaum, T. S. E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Pablo","F."],"propositions":[],"lastnames":["Castro"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Carlos","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/fac/CastroAPM15.bib","doi":"10.1007/s00165-015-0336-0","journal":"Formal Asp. Comput.","number":"5-6","pages":"831–865","timestamp":"Wed, 17 May 2017 01:00:00 +0200","title":"Categorical foundations for structured specifications in Z","url":"https://doi.org/10.1007/s00165-015-0336-0","volume":"27","year":"2015","bdsk-url-1":"https://doi.org/10.1007/s00165-015-0336-0","bdsk-url-2":"http://dx.doi.org/10.1007/s00165-015-0336-0","bibtex":"@article{DBLP:journals/fac/CastroAPM15,\n\tauthor = {Pablo F. Castro and Nazareno Aguirre and Carlos L{\\'{o}}pez Pombo and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},\n\tdoi = {10.1007/s00165-015-0336-0},\n\tjournal = {Formal Asp. Comput.},\n\tnumber = {5-6},\n\tpages = {831--865},\n\ttimestamp = {Wed, 17 May 2017 01:00:00 +0200},\n\ttitle = {Categorical foundations for structured specifications in {Z}},\n\turl = {https://doi.org/10.1007/s00165-015-0336-0},\n\tvolume = {27},\n\tyear = {2015},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s00165-015-0336-0},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s00165-015-0336-0}}\n\n","author_short":["Castro, P. F.","Aguirre, N.","Pombo, C. L.","Maibaum, T. S. E."],"key":"DBLP:journals/fac/CastroAPM15","id":"DBLP:journals/fac/CastroAPM15","bibbaseid":"castro-aguirre-pombo-maibaum-categoricalfoundationsforstructuredspecificationsinz-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00165-015-0336-0"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["categorical","foundations","structured","specifications","castro","aguirre","pombo","maibaum"],"title":"Categorical foundations for structured specifications in Z","year":2015}