Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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