Programs as Executable Predicates - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

C. A. R. Hoare, A. W. Roscoe. Programs as Executable Predicates. In FGCS. pages 220-228, 1984.

@inproceedings{HoareR84,
  title = {Programs as Executable Predicates},
  author = {C. A. R. Hoare and A. W. Roscoe},
  year = {1984},
  tags = {C++},
  researchr = {https://researchr.org/publication/HoareR84},
  cites = {0},
  citedby = {0},
  pages = {220-228},
  booktitle = {FGCS},
}

runs on WebDSL