Original language | English |
---|---|
Title of host publication | Computing Handbook, Third Edition |
Subtitle of host publication | Computer Science and Software Engineering |
Publisher | CRC Press |
Pages | 71-1-71-25 |
ISBN (Electronic) | 9781439898536 |
ISBN (Print) | 9781439898529 |
DOIs | |
Publication status | Published - 1 Jan 2014 |
Formal methods
Jonathan P. Bowen, Michael G. Hinchey
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review