Tan, J. Heuristic-guided counterexample search in FLAVERS. Software engineering notes..
Lua i Stíl Chicago (17ú heag.)Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes. .
Lua MLA (9ú heag.)Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes., .
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.