A comparative study of two formal specification languages: Z-notation & B-method. - Arvinder Kaur; Samridhi Gulati; Sarita Singh (CCSEIT, 2012)