Compositional testing with ioco. (2003)

by Machiel van Bijl, Arend Rensink, Jan Tretmans
Venue:In TestCom/FATES