Implementation of Z language specification processor for checking the correctness of Z specification

Main Author: Lee Lik Shen
Format: Book
Language:English
Published: Nilai: INTI International University, March 2010.
Subjects: