共 24 条
[1]
Abowd G. D., 1995, ACM Transactions on Software Engineering and Methodology, V4, P319, DOI 10.1145/226241.226244
[2]
Allen R., 1997, ACM Transactions on Software Engineering and Methodology, V6, P213, DOI 10.1145/258077.258078
[6]
BOUDOL G, 1994, LNCS, V0803, P00092, DOI DOI 10.1007/3-540-58043-3
[7]
COMPARE D, 1996, LECT NOTES COMPUTER, V1061, P428
[8]
COMPARE D, 1995, SPECIFICA ANAL CERN
[9]
CORRADINI F, 1998, CHOICE SOFTWARE ARCH