The automatic assessment of formal specification coursework

Zarina Shukur, Edmund K. Burke, Eric Foxley. The automatic assessment of formal specification coursework. J. Computing in Higher Education, 11(1):86-119, 1999. [doi]

Abstract

Abstract is missing.