Improving software tests using Z speciÞcations (1995)

by H-M Horcher
Venue:In Proc. 9th International Conference of Z Users, The ZFormal Specification Notation