共 50 条
- [1] Formal reasoning about hardware and software memory models FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 423 - 434
- [2] Calculating and Understanding: Formal Models and Causal Explanations in Science, Common Reasoning and Physics Teaching Science & Education, 2010, 19 : 225 - 257
- [4] Formal reasoning about causality analysis THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 118 - 133