Automated software verification through empirical-based methods

The dissertation focuses on the key areas in software development where automated software verification can be applied.

Bibliographic Details
Main Author:	Asim Saghir Sheikh.
Other Authors:	Tan Hee, Beng Kuan
Format:	Thesis
Published:	2008
Subjects:	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Online Access:	http://hdl.handle.net/10356/4301

Internet

http://hdl.handle.net/10356/4301