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, Berlin/Heidelberg, Vol. 3771, 2005, pp. 207-226. http://dx.doi.org/10.1007/11589976_13

has been cited by the following article: