An Analytic Approach to the Verification of Iterative Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrzej Blikle. An Analytic Approach to the Verification of Iterative Programs. In IFIP Congress. pages 285-290, 1977.

@inproceedings{Blikle77,
  title = {An Analytic Approach to the Verification of Iterative Programs},
  author = {Andrzej Blikle},
  year = {1977},
  tags = {program verification, systematic-approach},
  researchr = {https://researchr.org/publication/Blikle77},
  cites = {0},
  citedby = {0},
  pages = {285-290},
  booktitle = {IFIP Congress},
}

runs on WebDSL