Software Engineering with OBJ: algebraic specification in action. Goguen, J. A. & Malcolm, G. Volume 2 , Springer Science & Business Media, 2013. tex.ids= goguenSoftwareEngineeringOBJ2013abibtex @book{goguen_software_2013,
title = {Software {Engineering} with {OBJ}: algebraic specification in action},
volume = {2},
shorttitle = {Software {Engineering} with {OBJ}},
publisher = {Springer Science \& Business Media},
author = {Goguen, Joseph A. and Malcolm, Grant},
year = {2013},
note = {tex.ids= goguenSoftwareEngineeringOBJ2013a},
}
Downloads: 0
{"_id":"fzRr9PGWmyqTcmT7p","bibbaseid":"goguen-malcolm-softwareengineeringwithobjalgebraicspecificationinaction-2013","author_short":["Goguen, J. A.","Malcolm, G."],"bibdata":{"bibtype":"book","type":"book","title":"Software Engineering with OBJ: algebraic specification in action","volume":"2","shorttitle":"Software Engineering with OBJ","publisher":"Springer Science & Business Media","author":[{"propositions":[],"lastnames":["Goguen"],"firstnames":["Joseph","A."],"suffixes":[]},{"propositions":[],"lastnames":["Malcolm"],"firstnames":["Grant"],"suffixes":[]}],"year":"2013","note":"tex.ids= goguenSoftwareEngineeringOBJ2013a","bibtex":"@book{goguen_software_2013,\n\ttitle = {Software {Engineering} with {OBJ}: algebraic specification in action},\n\tvolume = {2},\n\tshorttitle = {Software {Engineering} with {OBJ}},\n\tpublisher = {Springer Science \\& Business Media},\n\tauthor = {Goguen, Joseph A. and Malcolm, Grant},\n\tyear = {2013},\n\tnote = {tex.ids= goguenSoftwareEngineeringOBJ2013a},\n}\n\n","author_short":["Goguen, J. A.","Malcolm, G."],"key":"goguen_software_2013","id":"goguen_software_2013","bibbaseid":"goguen-malcolm-softwareengineeringwithobjalgebraicspecificationinaction-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["software","engineering","obj","algebraic","specification","action","goguen","malcolm"],"title":"Software Engineering with OBJ: algebraic specification in action","year":2013}