| Original language | Undefined/Unknown |
|---|---|
| Pages | 810-813 |
| Publication status | Published - 2009 |
Industrial Practice in Formal Methods: A Review
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock, Dennis Dams
Research output: Contribution to conference › Paper › peer-review