| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1990 | |
|---|---|---|
| 2 |      | James M. Morris, Mark Howard: Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV 1990: 322-332 |
| 1987 | ||
| 1 | | Yuri Gurevich, James M. Morris: Algebraic Operational Semantics and Modula-2. CSL 1987: 81-101 |
| 1 | Yuri Gurevich | [1] |
| 2 | Mark Howard | [2] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page