SVG Web Environment for Z Specification Language.

Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik

Browse the full ICFEM paper archive.