Using Z in the Development and Maintenance of Computational Models of Real-World Systems.

Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan

Browse the full SEFM paper archive.