Det Tekniske Fakultet for IT og Design (TECH)

Ph.D. Søren Enevoldsen

En del af serien Det Tekniske Fakultet for IT og Design

Titel: Abstract Dependency Graphs for Model Verification

Fakultet: Det Tekniske Fakultet for IT og Design

Institut: Institut for Datalogi

Læs mere
Open access
Download
 

  • Titel: Abstract Dependency Graphs for Model Verification

    Fakultet: Det Tekniske Fakultet for IT og Design

    Institut: Institut for Datalogi

  • Antal sider

    —

    isbn

    978-87-7573-849-6

    issn

    2446-1628

    Udgave

    PHD

    Udgivelsesår

    2022
  • Filnavn Download

Bøger i samme kategori

Se flere