| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 2 |      | Jonathan Ford, Ian A. Mason: Formal Foundations of Operational Semantics. Higher-Order and Symbolic Computation 16(3): 161-202 (2003) |
| 2002 | ||
| 1 | | Jonathan Ford, Natarajan Shankar: Formal Verification of a Combination Decision Procedure. CADE 2002: 347-362 |
| 1 | Ian A. Mason | [2] |
| 2 | Natarajan Shankar | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page