Mark Dawson

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Mark Dawson, Steven Vickers
Towards a GeoZ Toolkit. Theory and Formal Methods (1994)
Mark Dawson
Animating LU. Theory and Formal Methods (1993)
Mark Dawson
A Generic Logic Environment. LPAR (1992)