@conference {690,
	title = {Formal Verification of Programs in ADA Language for Flight Software Application},
	booktitle = {National Conference on Education and Research (ConfER 2009)},
	year = {2009},
	month = {March},
	publisher = {Rajagiri School of Engineering and Technology},
	organization = {Rajagiri School of Engineering and Technology},
	address = {Kochi},
	author = {Asokan Shimmi and SanthoshKumar G. and JayaLal N.}
}
