Login / Signup
James M. Morris
Publication Activity (10 Years)
Years Active: 1987-1990
Publications (10 Years): 0
</>
Publications
</>
James M. Morris
,
Mark Howard
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.
CAV
(1990)
James M. Morris
,
Mark Howard
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.
CAV (DIMACS/AMS volume)
(1990)
Yuri Gurevich
,
James M. Morris
Algebraic Operational Semantics and Modula-2.
CSL
(1987)