A survey of Z courses in the UK

• 1 January 1991
• book chapter
• Published by Springer Nature
• p. 343-350
• https://doi.org/10.1007/978-1-4471-3540-1_22

Abstract

Keywords

• FORMAL METHOD
• FORMAL LANGUAGE
• GRADUATE LEVEL
• COMPUTING LABORATORY
• LABORATORY PROGRAM