paper
referenced-only
paper:nissim-a-proof-method-for-cyclic-programs-1978

A Proof Method for Cyclic Programs

External IDs

title_hash
6c499e6a4b413f81cacf32a3ac2b14cfc8b30107
legacy_slug
nissim-a-proof-method-for-cyclic-programs-1978
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1978,
  "title": "A Proof Method for Cyclic Programs",
  "venue": "Acta Informatica 9",
  "authors": [
    "Francez, Nissim",
    "Pnueli, Amir"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)