| Original language | English |
|---|---|
| Pages | 91-104 |
| Publication status | Published - 2002 |
FORTEST: Formal Methods and Testing
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause
Research output: Contribution to conference › Paper