| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Formal Methods for Safety and Security: Case Studies for Aerospace Applications | Paperback | 978-981-13-5054-2 (981-13-5054-X) | 2019 | Manju Nanda |
| Formal Methods for Safety and Security: Case Studies for Aerospace Applications | Hardcover | 978-981-10-4120-4 (981-10-4120-2) | 2017 | " |