Testmethoden für sequentielle und nebenläufige Software-Systeme
-
nidottu
,
Saksa, 1997