Skip to main content

Why effective proof tool support for Z is hard

Andrew Martin

Institution
Software Verification Research Centre
Number
97−34
Year
1997