Testmethoden für sequentielle und nebenläufige Software-Systeme
-
heftet
,
Tysk, 1997