AAPI Heritage Month
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science, 2651)

Questions About ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science, 2651)

by Didier Bert

Reader Q&A

To ask other readers questions about ZB 2003, please sign up.

Unanswered Questions

About Goodreads Q&A

Ask and answer questions about books!

You can pose questions to the Goodreads community with Reader Q&A, or ask your favorite author a question with Ask the Author.

See Featured Authors Answering Questions

Learn more