Soundness of an Encoding of A Logic for Z in 2OBJ
Hendrik Hilberdink and Andrew Martin
Details
| Institution |
OUCL(PRG) |
| Month |
June |
| Year |
1992 |
Links
Related pages
|
People |
Hendrik Hilberdink and Andrew Martin
| Institution |
OUCL(PRG) |
| Month |
June |
| Year |
1992 |
|
People |