Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.
Title | Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement. |
Publication Type | Journal Article |
Year of Publication | 2007 |
Authors | Dölle, B |
Bibtex:
@article {528, title = {Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.}, year = {2007}, note = {Doctoral thesis. G{\"o}ttingen: Cuvillier Verlag 2007. x+159 pages [ISBN 978-3-86727-452-4]}, author = {B. D{\"o}lle} }