Proofs, program correctness, and software engineering - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gary H. Merrill. Proofs, program correctness, and software engineering. SIGPLAN Notices, 18(12):96-105, 1983. [doi]

@article{Merrill83,
  title = {Proofs, program correctness, and software engineering},
  author = {Gary H. Merrill},
  year = {1983},
  doi = {10.1145/988193.988203},
  url = {http://doi.acm.org/10.1145/988193.988203},
  researchr = {https://researchr.org/publication/Merrill83},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {18},
  number = {12},
  pages = {96-105},
}

runs on WebDSL