Παραπομπή σε μορφή APA (7η εκδ.)

Tan, J. Heuristic-guided counterexample search in FLAVERS. Software engineering notes..

Παραπομπή σε μορφή Chicago (17η εκδ.)

Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes. .

Παραπομπή σε μορφή MLA (9th εκδ.)

Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes., .