John T. Latham;Vicky J. Bush;Ian D. Cottam
Victoria Univ. of Manchester, Manchester, UK;Victoria Univ. of Manchester, Manchester, UK;Victoria Univ. of Manchester, Manchester, UK
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes