APA (7th ed.) Citation

Pereira, M. (2024). Practical Deductive Verification of OCaml Programs (Extended Version).

Chicago Style (17th ed.) Citation

Pereira, Mário. Practical Deductive Verification of OCaml Programs (Extended Version). 2024.

MLA (9th ed.) Citation

Pereira, Mário. Practical Deductive Verification of OCaml Programs (Extended Version). 2024.

Warning: These citations may not always be 100% accurate.