TY  - BOOK
AU  - AVANI ABIRAMI L
AU  - Dr.CHITRA BABU
TI  - FORMAL APPROACH TO VERIFY COMPLETNESS IN SOFTWARE REQUIREMENTS SPECIFICATION
ER  -