e4d653460c2efca94638 · Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design

{
  "title_en": "Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design",
  "designation": "",
  "series": "",
  "status": "",
  "date": "1995-08-01",
  "date_original": "August 1, 1995",
  "url": "https://www.nist.gov/publications/unravel-case-tool-assist-evaluation-high-integrity-software-volume-1-requirements-and",
  "source": "NIST Publications",
  "display_en": "",
  "authors_en": "James R. Lyle , D Wallace , J R. Graham, K Gallagher , Joseph P. Poole , D W. Binkley",
  "abstract_excerpt_en": "",
  "id": "e4d653460c2efca94638",
  "sources": [
    "NIST Publications"
  ],
  "source_records": [
    {
      "title_en": "Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design",
      "designation": "",
      "series": "",
      "status": "",
      "date": "1995-08-01",
      "date_original": "August 1, 1995",
      "url": "https://www.nist.gov/publications/unravel-case-tool-assist-evaluation-high-integrity-software-volume-1-requirements-and",
      "source": "NIST Publications",
      "display_en": "",
      "authors_en": "James R. Lyle , D Wallace , J R. Graham, K Gallagher , Joseph P. Poole , D W. Binkley",
      "abstract_excerpt_en": ""
    }
  ],
  "translation_state": "none"
}