On the Use of Algebraic Methods for Formal Requirements Definitions

Helmuth Partsch. On the Use of Algebraic Methods for Formal Requirements Definitions. In Günter Hommel, Dirk Krönig, editors, Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983. Volume 74 of Informatik-Fachberichte, pages 138-158, Springer, 1983.

@inproceedings{Partsch83,
  title = {On the Use of Algebraic Methods for Formal Requirements Definitions},
  author = {Helmuth Partsch},
  year = {1983},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Partsch83},
  cites = {0},
  citedby = {0},
  pages = {138-158},
  booktitle = {Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983},
  editor = {Günter Hommel and Dirk Krönig},
  volume = {74},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-12692-9},
}