Yamine Aït Ameur, Patrick Girard, Francis Jambon. A Uniform Approach for Specification and Design of Interactive Systems: the B Method. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 2 of pages 51-67, Eurographics Association, 1998.
Abstract is missing.