APA (7th ed.) Citation

Bouajjani, A., Boutglay, W., & Habermehl, P. (2025). Data-driven Verification of Procedural Programs with Integer Arrays.

Chicago Style (17th ed.) Citation

Bouajjani, Ahmed, Wael-Amine Boutglay, and Peter Habermehl. Data-driven Verification of Procedural Programs with Integer Arrays. 2025.

MLA (9th ed.) Citation

Bouajjani, Ahmed, et al. Data-driven Verification of Procedural Programs with Integer Arrays. 2025.