PakCat catalogue record

Using Z: Specification Refinement and Proof

By Woodcock Jim

Bibliographic details

Subjects

Computer Science