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}
}