University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

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.