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