ZB 2002 : Formal Specification and Development in Z and B
by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Writing a summary for young readers…
For young readers
Book data: Open Library
by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Book data: Open Library