An Approach to Formal Specification of Control Modules - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Wu Hon Leung, C. V. Ramamoorthy. An Approach to Formal Specification of Control Modules. IEEE Trans. Software Eng., 6(5):485-489, 1980.

@article{LeungR80,
  title = {An Approach to Formal Specification of Control Modules},
  author = {Wu Hon Leung and C. V. Ramamoorthy},
  year = {1980},
  tags = {C++, systematic-approach},
  researchr = {https://researchr.org/publication/LeungR80},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {6},
  number = {5},
  pages = {485-489},
}

runs on WebDSL