Mark J. Wheelhouse

2008
2	EE	Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: DOM: Towards a Formal Specification. PLAN-X 2008
1	EE	Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: Local Hoare reasoning about DOM. PODS 2008: 261-270

Coauthor Index

1	Philippa Gardner	[1] [2]
2	Gareth Smith	[1] [2]
3	Uri Zarfaty	[1] [2]