Grundy, J. (1968-)

International Refinement Workshop and Formal Methods Pacif by: Grundy, J. (1968-); International Refinement Workshop and Formal Methods Pacific 1998 ((1998); Schwenke, M. (1967-); Vickers, Trevor (1959-) (Language materials, printed)