A Formal OO Method Inspired by Fusion and Object-Z

Erstveröffentlichung
1997Authors
Achatz, Klaus
Schulte, Wolfram
Editor
Bowen, J. P.Hinchey, M. G.
Till, D.
Beitrag zu einer Konferenz
Published in
ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK / Bowen, Jonathan P. ; Hinchey, Michael G. ; Till, David (Hrsg.). - Berlin ; Heidelberg : Springer, 1997. - (Lecture Notes in Computer Science ; 1212). - S. 92-111. - ISBN 978-3-540-62717-3, ISBN 978-3-540-68490-9
Link to publication
https://dx.doi.org/10.1007/BFb0027286Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 1997-04-03 - 1997-04-04, Reading