APA (7th ed.) Citation

Hatcliff, J., Robby, Chalin, P., & Belt, J. (2013). Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework. ICSE: International Conference on Software Engineering, 222.

Chicago Style (17th ed.) Citation

Hatcliff, John, Robby, Patrice Chalin, and Jason Belt. "Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework." ICSE: International Conference on Software Engineering 2013: 222.

MLA (9th ed.) Citation

Hatcliff, John, et al. "Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework." ICSE: International Conference on Software Engineering, 2013, p. 222.