共 50 条
- [34] Parallel program debugging by specification CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (06): : 551 - 585
- [35] AN EXPRESSIVE SPECIFICATION FOR PROGRAM VERIFICATION KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 30 - 30
- [40] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (01): : 57 - 65