Mubina Nazmeen and Iram Rubab, Data and Control Flow Analysis of VDMµ Specifications. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. April 2010, vol. 40(4). 730 - 735 [viewed 26 April 2024]. Available from: https://publications.waset.org/pdf/12593.