Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
diglib / Dissertationen / Building bridges between formal verification and testing with automatic test generation
  • Autor
    • Röck, Franz
  • TitelBuilding bridges between formal verification and testing with automatic test generation
  • Datei
  • Erscheinungsjahr2018
  • Beschreibungxx, 125 Seiten
  • BeschreibungIllustrationen
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar

Kontakt

Technische Universität Graz
Bibliothek und Archiv
Zeitschriftenmanagement, Open Access und Digitalisierung
Technikerstraße 4
A-8010 Graz
Tel: +43 (316) 873 - 6677
Fax: +43 (0) 316 - 873 - 6674

Related Links

TU Graz

Universitätsbibliothek

Extern

seals Portal
anno Projekt Europeana

diglib.tugraz.at

Impressum