Teaching and learning formal methods / - Dean, Neville.; Hinchey, Michael G. (Academic, 1996)