Sign in
Join Literal
Authors
Author
Jonathan Peter Bowen
Books
Applications of Formal Methods
Jonathan Peter Bowen, Michael Gerard Hinchey
Formal Specification and Documentation Using Z
Jonathan Peter Bowen