Article citationsMore>>
J. Derrick and G. Smith, “Structural Refinement of Object-Z/CSP Specification,” Proceedings of 2nd International Conference on Integrated Formal Methods, Springer-Verlag, London, Vol. 1945, 2000, pp. 194-213.
has been cited by the following article:
Related Articles:
-
Tafsir Malick Ndiaye
-
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam
-
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
-
Junjie Tang, Pengwei Shi, Hao Duan, Kwang-Yoon Kim, Minqi Xin
-
Mohamed Taybe Elhadi