Graphical Z Specification

Nam Yap; Mike Holcombe
Type of Publication: Paper
Conference: PPIG 1997 - 9th Annual Workshop
Publication Year: 1997
Paper #: 6
TitleGraphical Z Specification
Publication TypePaper
AuthorsYap, N, Holcombe, M
PPIG Workshop: 
1997-01-9th