Proving Program Inclusion Using Hoare s Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jan A. Bergstra, Jan Willem Klop. Proving Program Inclusion Using Hoare s Logic. Theoretical Computer Science, 30:1-48, 1984.

@article{BergstraK84,
  title = {Proving Program Inclusion Using Hoare s Logic},
  author = {Jan A. Bergstra and Jan Willem Klop},
  year = {1984},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/BergstraK84},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {30},
  pages = {1-48},
}

runs on WebDSL