Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J

Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389

Authors: MATAGA P ZAVE P

Citation: P. Mataga et P. Zave, USING Z TO SPECIFY TELEPHONE FEATURES, Information and software technology, 37(5-6), 1995, pp. 277-283