共 8 条
[1]
Agresti W. W., 1986, NEW PARADIGMS SOFTWA
[2]
ALFORD M, 1985, IEEE COMPUT, V18, P36
[3]
DEREMER F, 1976, IEEE T SOFTW ENG, V2
[4]
DEUTSCH MS, 1982, SOFTWARE VERIFICATIO
[5]
GUINDON R, 1989, STP03290 MCC TECH RE
[6]
Harel D., 1985, LOGICS MODELS CONCUR, P477, DOI 10.1007/978-3-642-82453-1_17
[7]
JORGENSEN PC, IN PRESS CRAFT SOFTW
[8]
PAIGE MR, 1975, IEEE T SOFTW ENG, V1