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, London, 26-28 October 1999, pp. 437-456.

has been cited by the following article: