| 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