共 50 条
- [21] Teaching Correctness of Thinking in Matters of Health AMERICAN JOURNAL OF PUBLIC HEALTH AND THE NATIONS HEALTH, 1945, 35 (10): : 1036 - 1040
- [23] The contribution of vision and proprioception to judgements of finger proximity Experimental Brain Research, 1998, 118 : 415 - 420
- [26] JUDGEMENTS OF DIFFERENT TYPES OF AGGRESSIVE-BEHAVIOR BRITISH JOURNAL OF SOCIAL AND CLINICAL PSYCHOLOGY, 1978, 17 (JUN): : 121 - 125
- [29] Correctness-by-Construction Meets Refinement Types PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, 2023, : 8 - 10