Formal Specification of CORBA Services Using Object-Z - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Detlef Kreuz. Formal Specification of CORBA Services Using Object-Z. In ICFEM. pages 180-189, 1998. [doi]

@inproceedings{Kreuz98,
  title = {Formal Specification of CORBA Services Using Object-Z},
  author = {Detlef Kreuz},
  year = {1998},
  url = {http://computer.org/proceedings/icfem/9198/91980180abs.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Kreuz98},
  cites = {0},
  citedby = {0},
  pages = {180-189},
  booktitle = {ICFEM},
}

runs on WebDSL