paper
referenced-only
paper:p-functional-programming-formal-specificat-1986

Functional programming, formal specification and rapid prototyping

External IDs

title_hash
780a28a70f7d20e44f25a29c3f1bd545013290d3
legacy_slug
p-functional-programming-formal-specificat-1986
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1986,
  "title": "Functional programming, formal specification and rapid prototyping",
  "venue": "IEEE Transactions on Software Engineering",
  "authors": [
    "Henderson, P."
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)