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, Springer, Berlin, Vol. 3771, 2005, pp. 207-226.
has been cited by the following article:
Related Articles:
-
Tafsir Malick Ndiaye
-
Flavio Gimenes Alvarenga, Mahouton Jonas Stephane Houndjo, Adjimon Vincent Monwanou, Jean Bio Chabi Orou
-
Zhixiu Zhang
-
Hany El-Gamal
-
Mohammad Reza Lotfollahi Ghaffari