Consequence Verification of Flowcharts - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Keith L. Clark, Maarten H. van Emden. Consequence Verification of Flowcharts. IEEE Trans. Software Eng., 7(1):52-60, 1981.

@article{ClarkE81,
  title = {Consequence Verification of Flowcharts},
  author = {Keith L. Clark and Maarten H. van Emden},
  year = {1981},
  researchr = {https://researchr.org/publication/ClarkE81},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {7},
  number = {1},
  pages = {52-60},
}

runs on WebDSL