共 50 条
- [42] Verifying Abstract Data Types A Hybrid Approach 2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONICS ENGINEERING (ICCEEE), 2013, : 634 - 639
- [45] Concurrent state transformations on abstract data types RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 222 - 236
- [50] Combining the animation and testing of abstract data types SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 249 - 258