MPG.eBooks - Search Results - BaseKing

Cover Image

1

ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Refinement and Reachability in Event_B -- A Rigorous Foundation for Pattern-Based Design Models -- An Object...”

Cover Image

2

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Inductively about Z Specifications via Unification -- Reconciling Axiomatic and Model-Based Specifications...”