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
所蔵館8館
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
所蔵館5館
by Graeme Smith
Kluwer Academic c2000 Advances in formal methods / series editor, Michael Hinchey 1
所蔵館9館
