W. T. · William M. Tepfenhart · William T
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Formal Methods in Computer Science | Hardcover | 978-0-367-22570-4 (0-367-22570-0) | 2019 | Jiacun Wang |
| Formal Methods in Computer Science | Paperback | 978-1-4987-7532-8 (1-4987-7532-2) | 2019 | " |