The Formal Specification of Oberon - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Philipp W. Kutter, Alfonso Pierantonio. The Formal Specification of Oberon. J. UCS, 3(5):443-503, 1997. [doi]

@article{KutterP97a,
  title = {The Formal Specification of Oberon},
  author = {Philipp W. Kutter and Alfonso Pierantonio},
  year = {1997},
  url = {http://www.jucs.org/jucs_3_5/specification_oberon},
  researchr = {https://researchr.org/publication/KutterP97a},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {3},
  number = {5},
  pages = {443-503},
}

runs on WebDSL