Article citationsMore>>

F. Gervais, M. Frappier and R. Laleau, “Synthesizing B Specifications from EB3 Attribute Definitions,” Proceedings of 5th International Conference on Integrated Formal Methods, Eindhoven, 29 November-2 December 2005, pp. 207-226.

has been cited by the following article: