A Z Specification of Use Cases: A Preliminary Report.

Greg Butler, Peter Grogono, Ferhat Khendek

Browse the full APSEC paper archive.