APA (7th ed.) Citation

Beyer, D., Jankola, M., Lingsch-Rosenfeld, M., Xia, T., & Zheng, X. (2025). A Modular Program-Transformation Framework for Reducing Specifications to Reachability.

Chicago Style (17th ed.) Citation

Beyer, Dirk, Marek Jankola, Marian Lingsch-Rosenfeld, Tian Xia, and Xiyue Zheng. A Modular Program-Transformation Framework for Reducing Specifications to Reachability. 2025.

MLA (9th ed.) Citation

Beyer, Dirk, et al. A Modular Program-Transformation Framework for Reducing Specifications to Reachability. 2025.