Christian Attiogbé. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). In Peter Kokol, editor, Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria. pages 85-90, IASTED/ACTA Press, 2006.
Abstract is missing.