Why effective proof tool support for Z is hard
Andrew Martin
Details
| Institution |
Software Verification Research Centre |
| Number |
97−34 |
| Year |
1997 |
Links
Related pages
|
People |
Andrew Martin
| Institution |
Software Verification Research Centre |
| Number |
97−34 |
| Year |
1997 |
|
People |