Academic Press international series in formal methods
Academic Press
Robert S. Boyer and J Strother Moore
Academic Press c1998 2nd ed. Academic Press international series in formal methods
Available at 6 libraries
edited by C. Neville Dean and Michael G. Hinchey
Academic c1996 Academic Press international series in formal methods
: pbk
Available at 9 libraries