A Formal OO Method Inspired by Fusion and Object-Z
Beitrag zu einer Konferenz
Authors
Achatz, Klaus
Schulte, Wolfram
Editor
Bowen, J. P.Hinchey, M. G.
Till, D.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished 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/BFb0027286Conference
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 1997-04-03 - 1997-04-04, Reading