Authors: Inverardi, P Wolf, AL Yankelevich, D

Citation: P. Inverardi et al., Static checking of system behaviors using derived component assumptions, ACM T SOFTW, 9(3), 2000, pp. 239-272