College Publications · Springer
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| A Survey of Verification Techniques for Parallel Programs | 978-0-387-15239-4 | 1985 | |
| Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987: Proceedings | 978-0-387-51803-9 | 1989 | H. Banieqbal |
| We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 | 978-1-904987-25-3 | 2006 | S. Artemov · A. S. d'Avila Garcez · L. C. Lamb · J. Woods |
| We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2 | 978-1-904987-26-0 | 2005 | S Artemov · A. S. d'Avila Garcez · L. C. Lamb · J. Woods |