Faculty of Engineering & Technology (FET);
Mody University of Science & Technology;
Sikar;
India;
Computer Science & Engineering;
Thapar University;
Patiala;
India;
Formal; Methods; Safety; Critical; System; Z; Notation; Z/EVES; Syntax; Type; Checking; Domain; Checking;