@inproceedings{erasmy_stepwise_1994,
	address = {Barcelona, Spain},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Stepwise {Refinement} of {Control} {Software} - {A} {Case} {Study} using {RAISE}},
	volume = {873},
	doi = {10.1007/3-540-58555-9_115},
	booktitle = {{FME}'94: {Industrial} {Benefit} of {Formal} {Methods}},
	publisher = {Springer-Verlag},
	author = {Erasmy, F. and Sekerinski, E.},
	editor = {Naftalin, M. and Denvir, T. and Bertran, M.},
	month = oct,
	year = {1994},
	note = {CitationKey: ErasmySekerinski94ControlRefinement},
	pages = {547--566},
}

{"_id":"N47SMZmZzNW5Mx3BD","bibbaseid":"erasmy-sekerinski-stepwiserefinementofcontrolsoftwareacasestudyusingraise-1994","downloads":0,"creationDate":"2019-02-02T15:48:53.615Z","title":"Stepwise Refinement of Control Software - A Case Study using RAISE","author_short":["Erasmy, F.","Sekerinski, E."],"year":1994,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Barcelona, Spain","series":"Lecture Notes in Computer Science","title":"Stepwise Refinement of Control Software - A Case Study using RAISE","volume":"873","doi":"10.1007/3-540-58555-9_115","booktitle":"FME'94: Industrial Benefit of Formal Methods","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Erasmy"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Naftalin"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Denvir"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Bertran"],"firstnames":["M."],"suffixes":[]}],"month":"October","year":"1994","note":"CitationKey: ErasmySekerinski94ControlRefinement","pages":"547–566","bibtex":"@inproceedings{erasmy_stepwise_1994,\n\taddress = {Barcelona, Spain},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Stepwise {Refinement} of {Control} {Software} - {A} {Case} {Study} using {RAISE}},\n\tvolume = {873},\n\tdoi = {10.1007/3-540-58555-9_115},\n\tbooktitle = {{FME}'94: {Industrial} {Benefit} of {Formal} {Methods}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Erasmy, F. and Sekerinski, E.},\n\teditor = {Naftalin, M. and Denvir, T. and Bertran, M.},\n\tmonth = oct,\n\tyear = {1994},\n\tnote = {CitationKey: ErasmySekerinski94ControlRefinement},\n\tpages = {547--566},\n}\n\n","author_short":["Erasmy, F.","Sekerinski, E."],"editor_short":["Naftalin, M.","Denvir, T.","Bertran, M."],"key":"erasmy_stepwise_1994","id":"erasmy_stepwise_1994","bibbaseid":"erasmy-sekerinski-stepwiserefinementofcontrolsoftwareacasestudyusingraise-1994","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["stepwise","refinement","control","software","case","study","using","raise","erasmy","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}