Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Autor(en):

Huster, Stefan

Tübinger Autor(en):

Sonstige Beteiligte:

Eberhard Karls Universität Tübingen

Erscheinungsjahr:

2020

Reihe:

TLP-Dissertationen - Informatik

Verlagsangabe:

Tübingen Tübingen Library Publishing

Sprache:

Deutsch

Referenz zum Volltext:

ISBN:

978-3-946552-37-6

Dokumentart:

Dissertation

Seitenzahl:

XIX, 211 Seiten

Verbund-Nachweis:

Kommentar:

Erscheint auch als Online-Ausgabe

Das Dokument erscheint in: