Partial Correctness: The Term-Wise Approach - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stefan Sokolowski. Partial Correctness: The Term-Wise Approach. Science of Computer Programming, 4(2):141-157, 1984.

@article{Sokolowski84,
  title = {Partial Correctness: The Term-Wise Approach},
  author = {Stefan Sokolowski},
  year = {1984},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/Sokolowski84},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {4},
  number = {2},
  pages = {141-157},
}

runs on WebDSL