000 00424nam a2200145Ia 4500
008 141108s9999 xx 000 0 und d
100 _aRAMRAJ S
245 _aINDEPENDENT VERIFICATION AND VALIDATION FRAMEWORK FOR SOFTWARE DEVELOPMENT PROJECTS USING FORMAL MODELING
563 _aSOFT
590 _aPG
652 _aFRAMEWORK
700 _f2013
_5SSNCE
_aDR CHITRA BABU
_bME 460
852 _aCENTRAL LIBRARY
942 _cPR
999 _c64186
_d64186