1
by Hagen, Klaus ten
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... Rolle eines Modells bei der Verifikation -- 2.1 Verifikationsmethoden -- 2.2 Getrennte Verifikation von...