APA引文

Nguyen, H., Kuncak, V., Chin, W., & SCIENCE, C. (2013). Runtime checking for separation logic.

Chicago Style Citation

Nguyen, H.H., V. Kuncak, W.-N Chin, and COMPUTER SCIENCE. Runtime Checking for Separation Logic. 2013.

MLA引文

Nguyen, H.H., V. Kuncak, W.-N Chin, and COMPUTER SCIENCE. Runtime Checking for Separation Logic. 2013.

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