Geoff Kassel

List of publications from the DBLP Bibliography Server - FAQ

2001

1 EE Geoff Kassel, Graeme Smith: Model Checking Object-Z Classes: Some Experiments with FDR. APSEC 2001: 445-452

2001
1	EE	Geoff Kassel, Graeme Smith: Model Checking Object-Z Classes: Some Experiments with FDR. APSEC 2001: 445-452

Coauthor Index