共 50 条
- [1] Formal methods and dependability [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 140 - 143
- [2] Formal methods and cryptography [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 612 - 616
- [9] FORMAL METHODS FOR DESIGN [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710