paper
referenced-only
paper:bakker-mathematical-theory-of-program-correctne-1980

Mathematical Theory of Program Correctness

External IDs

title_hash
0475ab3486fc4ff644c2c5b34b60d9e44399a567
legacy_slug
bakker-mathematical-theory-of-program-correctne-1980
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1980,
  "title": "Mathematical Theory of Program Correctness",
  "venue": "Prentice Hall",
  "authors": [
    "J. W. de Bakker"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)