International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)

Books by International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia) on BookTides.