APA (7th ed.) Citation

Dinella, E., Lahiri, S., & Naik, M. (2023). Program Structure Aware Precondition Generation.

Chicago Style (17th ed.) Citation

Dinella, Elizabeth, Shuvendu Lahiri, and Mayur Naik. Program Structure Aware Precondition Generation. 2023.

MLA (9th ed.) Citation

Dinella, Elizabeth, et al. Program Structure Aware Precondition Generation. 2023.