paper
referenced-only
paper:nissim-an-application-of-a-method-for-analysis-1978

An Application of a Method for Analysis of Cyclic Programs

External IDs

title_hash
81b1703ec1cc4d018d6b7ad5d2f468d2ef7d0661
legacy_slug
nissim-an-application-of-a-method-for-analysis-1978
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1978,
  "title": "An Application of a Method for Analysis of Cyclic Programs",
  "venue": "IEEE Transactions on Software Engineering, vol. SE-4, No. 5",
  "authors": [
    "Francez, Nissim"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)