Formal methods
- Jonathan P. Bowen
- , Michael G. Hinchey
- London South Bank University
- NASA Goddard Space Flight Center
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review