APA Citation

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 Citation

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

Warning: These citations may not always be 100% accurate.