Havsa, Irene Ully. 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.