Mark Dawson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

3 Mark Dawson, Steven Vickers: Towards a GeoZ Toolkit. Theory and Formal Methods 1994: 365-380

1993

2 Mark Dawson: Animating LU. Theory and Formal Methods 1993: 70-81

1992

1 Mark Dawson: A Generic Logic Environment. LPAR 1992: 466-468

	1994
3		Mark Dawson, Steven Vickers: Towards a GeoZ Toolkit. Theory and Formal Methods 1994: 365-380
	1993
2		Mark Dawson: Animating LU. Theory and Formal Methods 1993: 70-81
	1992
1		Mark Dawson: A Generic Logic Environment. LPAR 1992: 466-468

Coauthor Index

1 Steven J. Vickers (Steven Vickers) [3]