Issues in Implementing a Model Checker for Z.

John Derrick, Siobhn North, Tony Simons

Browse the full ICFEM paper archive.