Treffer: Traces, interpolants, and automata

Titel:

Traces, interpolants, and automata : a new approach to automatic software verification

Beteiligt:

Veröffentlicht:

Freiburg : Universität, 2015

Umfang:

Online-Ressource

Format:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Albert-Ludwigs-Universität Freiburg, 2015

DOI:

10.6094/UNIFR/10401

Zusatz-Informationen