| Original language | English |
|---|---|
| Place of Publication | United Kingdom |
| Publisher | Cambridge University Press |
| ISBN (Print) | 9780521879033 |
| Publication status | Published - 2008 |
Practical Formal Software Engineering
Bruce Mills
Research output: Book/Report › Book
Bruce Mills
Research output: Book/Report › Book
| Original language | English |
|---|---|
| Place of Publication | United Kingdom |
| Publisher | Cambridge University Press |
| ISBN (Print) | 9780521879033 |
| Publication status | Published - 2008 |