APA引文

Do, Q. H., & Nguyen, N. B. (2017). Using SMT solver and symbolic execution to generate test inputs for C programs: Luận văn ThS. Công nghệ thông tin. ĐHCN.

Chicago Style Citation

Do, Quoc Huy, and Ngoc Binh Nguyen. Using SMT Solver and Symbolic Execution to Generate Test Inputs for C Programs: Luận Văn ThS. Công Nghệ Thông Tin. ĐHCN, 2017.

MLA引文

Do, Quoc Huy, and Ngoc Binh Nguyen. Using SMT Solver and Symbolic Execution to Generate Test Inputs for C Programs: Luận Văn ThS. Công Nghệ Thông Tin. ĐHCN, 2017.