Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
[PRG122] |
A RELATIONAL APPROACH TO OPTIMIZATION PROBLEMS Sharon Curtis No. PRG122. OUCL. April, 1996. |
[PRG121] |
Machine−Assisted Theorem−Proving for Software Engineering Andrew Martin No. PRG121. OUCL. July, 1996. |
[PRG120] |
A TUTORIAL ON PROOF IN STANDARD Z Stephm Brien and Andrew Martin No. PRG120. OUCL. February, 1996. |
[PRG119] |
THE TIMED FAILURES−STABILITY MODEL FOR CSP G.M. Reed and A.W. Rosecoe No. PRG119. OUCL. February, 1996. |