Comparative Analysis of Formal Specification Languages Z, VDM and B. Int. J. Curr. Eng. Technol. [Internet]. 2015 Jun. 30 [cited 2026 Apr. 6];5(3):2086-91. Available from: https://ijcet.evegenis.org/index.php/ijcet/article/view/2351