HAVSA, I. U. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi, v. 6, n. 1, p. 11-16, 21 Oct. 2013.