*Result*: Causality-based verification
*Title*:
Causality-based verification / Andrey Kupriyanov ; Betreuer: Bernd Finkbeiner
*Author/editor-in-chief*:
*Publication*:
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Saarbrücken, Universität des Saarlandes, 2016
*Subject Added Keywords*: