University of Leicester


Rick Thomas - Books

Formal Methods

M. Z. Kwiatkowska, M. W. Shields and R. M. Thomas (eds.), Semantics for Concurrency (Springer-Verlag, 1990).

D. J. Andrews, D. Blyth, C. Boldyreff, D. Duce, P. Hall, R. Neely, C. L. N. Ruggles, N. Tetteh-Lartey, R. M. Thomas and A. Wrightson, Formal Methods in Standards - a Report from the BCS Working Group (Springer-Verlag, 1990).

Back to Rick Thomas' Home Page.

Author: Rick Thomas (
© University of Leicester 12 April 2006. Last modified: 14th November 2017, 21:33:18
CMS Web Maintainer. Any opinions expressed on this page are those of the author.