Original language | English |
---|---|
Title of host publication | Computing Handbook |
Subtitle of host publication | Two-Volume Set |
Publisher | CRC Press |
Pages | 1-25 |
Number of pages | 25 |
ISBN (Electronic) | 9781439898451 |
ISBN (Print) | 9781439898444 |
DOIs | |
Publication status | Published - 30 May 2022 |
Formal methods
Jonathan P. Bowen, Michael G. Hinchey
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review