Return to Issue Details Comparative Analysis of Formal Specification Languages Z, VDM and B Download Download PDF