APA (7th ed.) Citation

Sextl, F., Rogalewicz, A., Vojnar, T., & Zuleger, F. (2023). Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version).

Chicago Style (17th ed.) Citation

Sextl, Florian, Adam Rogalewicz, Tomáš Vojnar, and Florian Zuleger. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version). 2023.

MLA (9th ed.) Citation

Sextl, Florian, et al. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version). 2023.