共 50 条
- [3] THE COVENANT OF FURTHER EXPLORATION - A COMMENT [J]. TEXAS LAW REVIEW, 1958, 37 (02) : 178 - 187
- [4] FURTHER COMMENT - SPATIAL CONTINUITY MEASURES [J]. MATHEMATICAL GEOLOGY, 1994, 26 (05): : 639 - 649
- [5] Necessity Specifications for Robustness [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
- [9] Robustness of temporal logic specifications [J]. FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 178 - +