International Refinement Workshop and Formal Methods Pacific 1998

Corporate Authors: International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)
Group Author: Grundy J.; (Jim), 1968-; Schwenke M.; (Martin) 1967-; Vickers Trevor, 1959-
Published: Springer-Verlag,
Publication Dates: 1998.
Call Number: TP311.1-532/I61.4/1998/