Methods and Logics for Proving Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Patrick Cousot. Methods and Logics for Proving Programs. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 841-994, 1990.

@incollection{Cousot90,
  title = {Methods and Logics for Proving Programs},
  author = {Patrick Cousot},
  year = {1990},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Cousot90},
  cites = {0},
  citedby = {0},
  pages = {841-994},
  booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)},
}

runs on WebDSL