共 50 条
- [46] Requirements for industrial-strength formal method tools 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 137 - 138
- [49] Industrial-strength software product line engineering SOFTWARE PRODUCT LINES, PROCEEDINGS, 2004, 3154 : 311 - 311
- [50] Industrial-Strength Documentation for ACL2 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152): : 9 - 25