APA (7th ed.) Citation

AMIGHI, A., HAACK, C., HUISMAN, M., & HURLIN, C. (2015). PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS. Logical Methods in Computer Science (LMCS), 11(1), 1. https://doi.org/10.2168/LMCS-11(1:2)2015

Chicago Style (17th ed.) Citation

AMIGHI, AFSHIN, CHRISTIAN HAACK, MARIEKE HUISMAN, and CLÉMENT HURLIN. "PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS." Logical Methods in Computer Science (LMCS) 11, no. 1 (2015): 1. https://doi.org/10.2168/LMCS-11(1:2)2015.

MLA (9th ed.) Citation

AMIGHI, AFSHIN, et al. "PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS." Logical Methods in Computer Science (LMCS), vol. 11, no. 1, 2015, p. 1, https://doi.org/10.2168/LMCS-11(1:2)2015.