ZB 2000 : Formal Specification and Development in Z and B
by Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Writing a summary for young readers…
For young readers
Book data: Open Library
by Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Book data: Open Library