Skip to main navigation Skip to search Skip to main content

Specification reuse for safety critical software

  • CP Willis
  • , DJ Paddon

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Translated title of the contributionSpecification reuse for safety critical software
    Original languageEnglish
    Title of host publicationSEKE-94. Sixth International Conference on Software Engineering and Knowledge Engineering
    Publication statusPublished - 1994

    Handle.net

    Cite this