Advances in formal methods
series editor, Michael Hinchey
Kluwer Academic
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
Kluwer Academic c2000 Advances in formal methods / series editor, Michael Hinchey 3
Available at 8 libraries
Kluwer Academic c2000 Advances in formal methods / series editor, Michael Hinchey 4
edited by Joseph Goguen, Grant Malcolm
Kluwer Academic c2000 Advances in formal methods / series editor, Michael Hinchey
Available at 5 libraries
by Graeme Smith
Kluwer Academic c2000 Advances in formal methods / series editor, Michael Hinchey 1
Available at 9 libraries