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:
Related Articles:
-
Flavio Gimenes Alvarenga, Mahouton Jonas Stephane Houndjo, Adjimon Vincent Monwanou, Jean Bio Chabi Orou
-
Zhixiu Zhang
-
Mohammad Reza Lotfollahi Ghaffari
-
Shagufta Shafiq, Nasir Mehmood Minhas
-
Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor