Article citationsMore>>
K. Araki, A. Galloway and K. Taguchi, “Using a Process Algebra to Control B Operations,” Proceedings of 1st International Conference on Integrated Formal Methods, Springer-Verlag, London, 1999, pp. 437-456.
has been cited by the following article:
Related Articles:
-
A. N. Ghameshlou, A. Khodkar, R. Saei, S.M. Sheikholeslami
-
Salvador A. Loria
-
Alvaro Luiz G. Carneiro, Almir C. S. Porto Jr.
-
Hasitha Indika Arumawadu, R. M. Kapila Tharanga Rathnayaka, S. K. Illangarathne
-
Tafsir Malick Ndiaye