| Original language | English |
|---|---|
| Publisher | School of Computer Science |
| Publication status | Published - 1 Jan 2002 |
Second Workshop on Automated Vertification of Critical Systems
Gethin Norman, Marta Kwiatkowska, Dimitar Guelev
Research output: Book/Report › Book