PostSomaDevLibrary

← Back to archive

EnglishbookID: 9f3bd1f3

Using Z Specification, Refinement, and Proof

Category

BY SUBJECT / Misc

External Link

http://www.usingz.com/usingz.pdf

Your Library

BY SUBJECTMisc

Open Resource ↗