Why effective proof tool support for Z is hard
Andrew Martin
Institution
Software Verification Research Centre
Number
97−34
Year
1997
Andrew Martin