@book{64186,
	author = {RAMRAJ S and DR CHITRA BABU},
	title = {INDEPENDENT VERIFICATION AND VALIDATION FRAMEWORK FOR SOFTWARE DEVELOPMENT PROJECTS USING FORMAL MODELING}
}