didier bert
Recent Trends in Algebraic Development Techniques
Print on DemandLanguage), CASL semantics, CASL tools, methodology, and reactive systems.
B’98: Recent Advances in the Development and Use of the B Method
Print on DemandThis book presents the refereed proceedings of the Second International B Conference, B''98, held...
ZB 2002: Formal Specification and Development in Z and B
Print on DemandThese proceedings record the papers presented at the second International Conference of B and Z U...
- 1