APA (7th ed.) Citation

James, P. R., & Chalin, P. (2010). Faster and More Complete Extended Static Checking for the Java Modeling Language. Journal of automated reasoning, 44(1-2), 145-174. https://doi.org/10.1007/s10817-009-9134-9

Chicago Style (17th ed.) Citation

James, Perry R., and Patrice Chalin. "Faster and More Complete Extended Static Checking for the Java Modeling Language." Journal of Automated Reasoning 44, no. 1-2 (2010): 145-174. https://doi.org/10.1007/s10817-009-9134-9.

MLA (9th ed.) Citation

James, Perry R., and Patrice Chalin. "Faster and More Complete Extended Static Checking for the Java Modeling Language." Journal of Automated Reasoning, vol. 44, no. 1-2, 2010, pp. 145-174, https://doi.org/10.1007/s10817-009-9134-9.