The automatic assessment of Z specifications.

Eric Foxley, Omar Salman, Zarina Shukur

Browse the full ITiCSE paper archive.