Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

dc.contributor	Eberhard Karls Universität Tübingen	de_DE
dc.contributor.author	Huster, Stefan	de_DE
dc.date.accessioned	2020-08-12T08:53:35Z
dc.date.available	2020-08-12T08:53:35Z
dc.date.issued	2020	de_DE
dc.identifier.isbn	978-3-946552-37-6	de_DE
dc.identifier.uri	http://hdl.handle.net/10900/104762
dc.language.iso	de
dc.publisher	Tübingen Tübingen Library Publishing	de_DE
dc.relation.ispartofseries	TLP-Dissertationen - Informatik	de_DE
dc.relation.uri	http://dx.doi.org/10.15496/publikation-42621	de_DE
dc.title	Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software	de_DE
dc.type	PhDThesis	de_DE
utue.kommentar.intern	Erscheint auch als Online-Ausgabe	de_DE
utue.personen.roh	Huster, Stefan	de_DE
utue.publikation.seitengesamt	XIX, 211 Seiten	de_DE
utue.titel.verfasserangabe	Stefan Huster	de_DE
utue.publikation.abrufzeichen	tdis	de_DE
utue.publikation.swbdatum	2007	de_DE
utue.publikation.fachbereich	57	de_DE
utue.publikation.fakultaet	7 Mathematisch-Naturwissenschaftliche Fakultät	de_DE
utue.artikel.ppn	1725979365	de_DE