Use of industrial-strength formal methods
- Jonathan P. Bowen
- , Michael G. Hinchey
- University of Reading
Research output: Contribution to journal › Conference article › peer-review
Research output: Contribution to journal › Conference article › peer-review