On Correct Refinement of Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back. On Correct Refinement of Programs. J. Comput. Syst. Sci., 23(1):49-68, 1981.

@article{Back81,
  title = {On Correct Refinement of Programs},
  author = {Ralph-Johan Back},
  year = {1981},
  tags = {refinement},
  researchr = {https://researchr.org/publication/Back81},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {23},
  number = {1},
  pages = {49-68},
}

runs on WebDSL