Jusoh, Julaily Aida and -, M.M.S. Yazid and -, M. Mustafa (2010) Formal Validation of DNA Database Using Theorem Proving Technique. International Journal of Computer, the Internet and Management. 21.1-21.5. ISSN 0858-7027