CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)

    Author
      Publication venue
      'Walter de Gruyter GmbH'
      Publication date
      Field of study
      No full text
      Crossref
      corecore