APA (7th ed.) Citation

Ciobâcă, Ş., Leino, K. R. M., Mercaş, Ş., & Timon, R. (2025). The Design of an Interactive Proof Mode for Dafny.

Chicago Style (17th ed.) Citation

Ciobâcă, Ştefan, K. Rustan M. Leino, Ştefan-Alexandru Mercaş, and Roxana-Mihaela Timon. The Design of an Interactive Proof Mode for Dafny. 2025.

MLA (9th ed.) Citation

Ciobâcă, Ştefan, et al. The Design of an Interactive Proof Mode for Dafny. 2025.