共 50 条
- [22] Integrated program verification tools in education SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (04): : 403 - 418
- [23] Generating dynamic program analysis tools AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 166 - 173
- [25] BASIC PROGRAM PROVIDES STATISTICS TOOLS EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1978, 23 (11): : 35 - 35
- [26] A structured demonstration of program comprehension tools SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 184 - 193
- [27] Program generators and the tools to make them STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 19 - 20
- [28] Tcl/Tk program development tools PROCEEDINGS OF THE SIXTH ANNUAL TCL/TK CONFERENCE, 1998, : 205 - 206
- [29] Integrating tools for automatic program verification PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 214 - 221