PakCat catalogue record

Specification, Refinement, and Proof

By Woodcock, Jim; Davies, Jim

Bibliographic details

Subjects

NULL