%0 Thesis %1 wagner1997formal %A Wagner, Annika %D 1997 %K %T A formal object specification technique using rule-based transformation of partial algebras

@phdthesis{wagner1997formal, added-at = {2023-12-12T18:45:58.000+0100}, author = {Wagner, Annika}, biburl = {https://www.bibsonomy.org/bibtex/290b1235e3c71155db1807804adaf9cb0/admin}, dnbtitleid = {952157446}, interhash = {16f0d0a22ad64f7396ad62c81ce12579}, intrahash = {90b1235e3c71155db1807804adaf9cb0}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-12T18:45:58.000+0100}, title = {A formal object specification technique using rule-based transformation of partial algebras}, year = 1997 }