{"_id":"Gjqd6QbPii8wi2HGk","bibbaseid":"casais-lewerentz-rping-sekerinski-weber-theprocessofformalobjectorientedsoftwaredevelopment-1993","bibdata":{"bibtype":"book","type":"book","series":"FZI Bericht","title":"The Process of Formal Object-Oriented Software Development","publisher":"Forschungszentrum Informatik Karlsruhe","editor":[{"propositions":[],"lastnames":["Casais"],"firstnames":["Eduardo"],"suffixes":[]},{"propositions":[],"lastnames":["Lewerentz"],"firstnames":["Claus"],"suffixes":[]},{"propositions":[],"lastnames":["Rüping"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Weber"],"firstnames":["Franz"],"suffixes":[]}],"month":"March","year":"1993","bibtex":"@book{CasaisEtAl93FormalObjectOrientedDevelopment,\n\tseries = {{FZI} {Bericht}},\n\ttitle = {The {Process} of {Formal} {Object}-{Oriented} {Software} {Development}},\n\tpublisher = {Forschungszentrum Informatik Karlsruhe},\n\teditor = {Casais, Eduardo and Lewerentz, Claus and Rüping, Andreas and Sekerinski, Emil and Weber, Franz},\n\tmonth = mar,\n\tyear = {1993},\n}\n\n","editor_short":["Casais, E.","Lewerentz, C.","Rüping, A.","Sekerinski, E.","Weber, F."],"key":"CasaisEtAl93FormalObjectOrientedDevelopment","id":"CasaisEtAl93FormalObjectOrientedDevelopment","bibbaseid":"casais-lewerentz-rping-sekerinski-weber-theprocessofformalobjectorientedsoftwaredevelopment-1993","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["process","formal","object","oriented","software","development"],"title":"The Process of Formal Object-Oriented Software Development","year":1993}