2003 | ||
---|---|---|
2 | EE | Jonathan Ford, Ian A. Mason: Formal Foundations of Operational Semantics. Higher-Order and Symbolic Computation 16(3): 161-202 (2003) |
2002 | ||
1 | EE | Jonathan Ford, Natarajan Shankar: Formal Verification of a Combination Decision Procedure. CADE 2002: 347-362 |
1 | Ian A. Mason | [2] |
2 | Natarajan Shankar | [1] |