Compilation of Z specifications into C for automatic test result evaluations (1995)

by E Mikk
Venue:ZUM’95:9th International Conference of Z Users, LNCS 967