TY  - BOOK
AU  - RAMRAJ S
AU  - DR CHITRA BABU
TI  - INDEPENDENT VERIFICATION AND VALIDATION FRAMEWORK FOR SOFTWARE DEVELOPMENT PROJECTS USING FORMAL MODELING
ER  -