APA引文

TRUNG, T. Q., & SCIENCE, C. (2018). AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC.

Chicago Style Citation

TRUNG, TA QUANG, and COMPUTER SCIENCE. AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC. 2018.

MLA引文

TRUNG, TA QUANG, and COMPUTER SCIENCE. AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC. 2018.

警告：這些引文格式不一定是100％准確.