Havsa, I.U. 2013. UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE. Jurnal Ilmu Komputer dan Informasi. 6, 1 (Oct. 2013), 11-16. DOI:https://doi.org/10.21609/jiki.v6i1.212.