Visual programming environment for Z specifications

Stephen W.C. Lam, Chun Chung Chan, Hareton K.N. Leung, Lawrence M.L. Chung

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review


Dive into the research topics of 'Visual programming environment for Z specifications'. Together they form a unique fingerprint.

Social Sciences

Computer Science