共 50 条
- [23] VrFy: Verification of Formal Requirements using Generic Traces 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 177 - 183
- [28] FUNCTIONAL EXPLANATION AND NORMALCY SOUTHWESTERN JOURNAL OF PHILOSOPHY, 1978, 9 (01): : 45 - 53
- [29] A FUNCTIONAL EXPLANATION OF RECIDIVISM JOURNAL OF CRIMINAL LAW & CRIMINOLOGY, 1965, 56 (02): : 212 - 226