Towards automated formal analysis of model transformation specifications /

Saved in:
Bibliographic Details
Main Author: Asmiza Abdul Sani (Author)
Format: Thesis Book
Language:English
Published: 2013.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xxiii, 309 leaves : illustrations ; 30 cm.
Bibliography:Bibliography: leaves 294-309.