Universiti Teknologi Malaysia Institutional Repository

A cursory review on software verification approaches

Wan Kadir, Wan Mohd. Nasir (2008) A cursory review on software verification approaches. In: Proceedings Of 4th Postgraduate Annual Research Seminar PARS 08, 2008, Kuala Terengganu.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:19757
Deposited By: Mrs Liza Porijo
Last Modified:15 Dec 2011 07:32

Repository Staff Only: item control page