CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Test automation for hybrid systems

    Author
      Publication venue
      'Association for Computing Machinery (ACM)'
      Publication date
      Field of study
      Full text link
      Crossref

      Automation for Exception Freedom Proofs

      Author
      Publication venue
      Publication date
      Field of study
      No full text
      Heriot Watt Pure

      Automation for Exception Freedom Proofs

      Author
      Publication venue
      Publication date
      Field of study
      No full text
      Heriot Watt Pure
      corecore