Authors: AINSWORTH M RIDDLE S WALLIS PJL

Citation: M. Ainsworth et al., FORMAL VALIDATION OF VIEWPOINT SPECIFICATIONS, Software engineering journal, 11(1), 1996, pp. 58-66

Authors: AINSWORTH M CRUICKSHANK AH WALLIS PJL GROVES LJ

Citation: M. Ainsworth et al., VIEWPOINT SPECIFICATION AND Z, Information and software technology, 36(1), 1994, pp. 43-51