共 16 条
- [11] APPROACH TO SOFTWARE SYSTEM BEHAVIOR DESCRIPTION [J]. COMPUTER LANGUAGES, 1979, 4 (01): : 29 - 47
- [12] SATTERTHWAITE EH, 1975, STANCS75494 STANF U
- [13] SHAW AC, 1980, SOFTWARE DEV TOOLS
- [14] SHAW AC, 1978, IEEE T SOFTWARE ENG, V4
- [15] Van Tassel D, 1978, PROGRAM STYLE DESIGN
- [16] 1981, VAX11 SYMBOLIC DEBUG