A Study and Implementation of a Z Specification Syntax Verifier
Main Author: | |
---|---|
Format: | Book |
Published: |
Nilai:
INTI College Malaysia,
December 2004.
|
Series: | B.A. (HONS) IN SOFTWARE ENGINEERING
AUGUST 2004
|
Subjects: |