APA Citation

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 Citation

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

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