A Tutorial on Proof in Standard Z

A Tutorial on Proof in Standard Z

Bibliographic Details
Main Authors: Brien, S, Martin, A
Format: Report
Published: Programming Research Group‚ Oxford University Computing Laboratory 1995

Similar Items