APA (7th ed.) Citation

Burgstaller, B., Scholz, B., & Blieberger, J. (2012). A symbolic analysis framework for static analysis of imperative programming languages. Journal of Systems & Software, 85(6), 1418. https://doi.org/10.1016/j.jss.2011.11.1039

Chicago Style (17th ed.) Citation

Burgstaller, Bernd, Bernhard Scholz, and Johann Blieberger. "A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages." Journal of Systems & Software 85, no. 6 (2012): 1418. https://doi.org/10.1016/j.jss.2011.11.1039.

MLA (9th ed.) Citation

Burgstaller, Bernd, et al. "A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages." Journal of Systems & Software, vol. 85, no. 6, 2012, p. 1418, https://doi.org/10.1016/j.jss.2011.11.1039.