Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

DSpace Repository

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Author: Huster, Stefan
Tübinger Autor(en):
Huster, Stefan
Other Contributors: Eberhard Karls Universität Tübingen
Issue year: 2020
Series: TLP-Dissertationen - Informatik
Verlagsangabe: Tübingen Tübingen Library Publishing
Language: German
Full text: http://dx.doi.org/10.15496/publikation-42621
ISBN: 978-3-946552-37-6
Dokumentart: PhDThesis
Pages: XIX, 211 Seiten
Reference: 1725979365
Note: Erscheint auch als Online-Ausgabe
Show full item record

This item appears in the following Collection(s)