共 50 条
- [23] The use of industrial-strength formal methods COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 332 - 337
- [24] ESTABLISHING AN INDUSTRIAL-STRENGTH TESTING PROGRAM AMERICAN INDUSTRIAL HYGIENE ASSOCIATION JOURNAL, 1980, 41 (10): : 730 - 736
- [25] INDUSTRIAL-STRENGTH COMPILER CONSTRUCTION WITH EQUATIONS SIGPLAN NOTICES, 1992, 27 (08): : 43 - 50
- [29] Educating industrial-strength software engineers 11TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION, PROCEEDINGS, 1998, : 139 - 150