A visual programming environment for Z specifications.

Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung

Browse the full APSEC paper archive.