Teaching and learning formal methods /
Dean, Neville.
Hinchey, Michael G.(Michael Gerard),1969-
London : Academic,
c1996.
System design
Computer software