Automated software verification through empirical-based methods

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

Saved in:

Bibliographic Details
Main Author:	Asim Saghir Sheikh.
Other Authors:	Tan Hee, Beng Kuan
Format:	Theses and Dissertations
Published:	2008
Subjects:	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Online Access:	http://hdl.handle.net/10356/4301
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University

Be the first to leave a comment!

Similar Items