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