共 50 条
- [33] The use of industrial-strength formal methods COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 332 - 337
- [34] ESTABLISHING AN INDUSTRIAL-STRENGTH TESTING PROGRAM AMERICAN INDUSTRIAL HYGIENE ASSOCIATION JOURNAL, 1980, 41 (10): : 730 - 736
- [35] INDUSTRIAL-STRENGTH COMPILER CONSTRUCTION WITH EQUATIONS SIGPLAN NOTICES, 1992, 27 (08): : 43 - 50