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