Result: Traces, interpolants, and automata

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

Freiburg : Universität, 2015

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

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

*DOI*:

10.6094/UNIFR/10401

*Result*: Traces, interpolants, and automata