A Functional Rephrasing of the Assumption/Commitment Specification Style - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Manfred Broy. A Functional Rephrasing of the Assumption/Commitment Specification Style. Formal Methods in System Design, 13(1):87-119, 1998.

@article{Broy98:0,
  title = {A Functional Rephrasing of the Assumption/Commitment Specification Style},
  author = {Manfred Broy},
  year = {1998},
  researchr = {https://researchr.org/publication/Broy98%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {13},
  number = {1},
  pages = {87-119},
}

runs on WebDSL