James M. Morris

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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

	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

Coauthor Index

1 Yuri Gurevich [1]

2 Mark Howard [2]

Colors in the list of coauthors