Software Verification Process.

Ms. Pooja Sharma, MCA Student, Biyani Institute of Science and Management explained about research work done in JAIST ,Japan on the topic Software Verification Process by using set solver. www.gurukpo.com, www.biyanicolleges.org