APA (7th ed.) Citation

Babic, D., & Hu, A. J. (2008). Calysto: Scalable and precise extended static checking. International Conference on Software Engineering 2008, 2008(24), . https://doi.org/10.1145/1368088.1368118

Chicago Style (17th ed.) Citation

Babic, Domagoj, and Alan J. Hu. "Calysto: Scalable and Precise Extended Static Checking." International Conference on Software Engineering 2008 2008, no. 24 (2008). https://doi.org/10.1145/1368088.1368118.

MLA (9th ed.) Citation

Babic, Domagoj, and Alan J. Hu. "Calysto: Scalable and Precise Extended Static Checking." International Conference on Software Engineering 2008, vol. 2008, no. 24, 2008, https://doi.org/10.1145/1368088.1368118.