共 50 条
- [47] 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