共 50 条
- [46] Combining formal specifications with design by contract JOOP - Journal of Object-Oriented Programming, 2000, 12 (09): : 16 - 21
- [47] Formal Matters on the Topic of Risk Mitigation: A Mathematical Perspective APPLIED SCIENCES-BASEL, 2023, 13 (01):
- [49] THE CASE FOR FORMAL THEORY INTRODUCTION TO SPECIAL TOPIC FORUM ACADEMY OF MANAGEMENT REVIEW, 2009, 34 (02): : 201 - 208
- [50] Combining Thesaurus Knowledge and Probabilistic Topic Models ANALYSIS OF IMAGES, SOCIAL NETWORKS AND TEXTS, AIST 2017, 2018, 10716 : 59 - 71