@book{UhlSekerinski90FormaleSoftwareentwicklung,
	series = {{FZI} {Bericht}},
	title = {Formale {Methoden} der {Softwareentwicklung}},
	number = {18},
	publisher = {Forschungszentrum Informatik},
	editor = {Uhl, J. and Sekerinski, E.},
	month = jun,
	year = {1990},
}

{"_id":"AMADAhwLcYt5ic4ex","bibbaseid":"uhl-sekerinski-formalemethodendersoftwareentwicklung-1990","bibdata":{"bibtype":"book","type":"book","series":"FZI Bericht","title":"Formale Methoden der Softwareentwicklung","number":"18","publisher":"Forschungszentrum Informatik","editor":[{"propositions":[],"lastnames":["Uhl"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"month":"June","year":"1990","bibtex":"@book{UhlSekerinski90FormaleSoftwareentwicklung,\n\tseries = {{FZI} {Bericht}},\n\ttitle = {Formale {Methoden} der {Softwareentwicklung}},\n\tnumber = {18},\n\tpublisher = {Forschungszentrum Informatik},\n\teditor = {Uhl, J. and Sekerinski, E.},\n\tmonth = jun,\n\tyear = {1990},\n}\n\n","editor_short":["Uhl, J.","Sekerinski, E."],"key":"UhlSekerinski90FormaleSoftwareentwicklung","id":"UhlSekerinski90FormaleSoftwareentwicklung","bibbaseid":"uhl-sekerinski-formalemethodendersoftwareentwicklung-1990","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["formale","methoden","der","softwareentwicklung"],"title":"Formale Methoden der Softwareentwicklung","year":1990}