Transitioning to rigorous software specification.

N. W. Morgan, C. Schahczenski

Browse the full RE paper archive.