共 50 条
- [4] CHECKING VARIABLE TYPES BY PROVING PROPERTIES OF PROGRAMS. Programming and Computer Software (English Translation of Programmirovanie), 1982, 8 (04): : 176 - 185
- [5] INSULATION DESIGN: USING THE NEW COMPUTER PROGRAMS. Hydrocarbon Processing, 1980, 59 (07): : 83 - 88
- [7] COMPUTER ASSISTED MANAGEMENT OF OCCUPATIONAL HEALTH PROGRAMS. National safety news, 1981, 124 (02): : 37 - 40
- [9] METHODOLOGY FOR MEASURING THE READABILITY AND MODIFIABILITY OF COMPUTER PROGRAMS. BIT (Copenhagen), 1980, 20 (04): : 394 - 405
- [10] APPLICATIONS OF COMPUTER-AIDED-DESIGN IN ANALYSIS PROGRAMS. Technical Paper - Society of Manufacturing Engineers. MS, 1982,