• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Formal OO Method Inspired by Fusion and Object-Z

Erstveröffentlichung
1997
Authors
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/BFb0027286
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Conference
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 1997-04-03 - 1997-04-04, Reading
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement