共 14 条
[1]
*CAA, 2001, REG OBJ SOFTW SAF AS
[2]
Dijkstra E. W., 1972, STRUCT PROGRAM, P1
[4]
GUIHO G, 1990, 12 INT C SOFTW ENG
[6]
HSE (Health and Safety Executive), 1992, SAF ASS PRINC NUCL P
[7]
Hunns DM, 1991, NUCL ENG INT SEP, P38
[9]
KNIGHT JC, 1990, ACM SOFTWARE ENG NOT, V15