APA (7th ed.) Citation

Gros, C., & Pereira, M. (2024). Le chameau et le serpent rentrent dans un bar: Vérification quasi-automatique de code OCaml en logique de séparation.

Chicago Style (17th ed.) Citation

Gros, Charlène, and Mário Pereira. Le Chameau Et Le Serpent Rentrent Dans Un Bar: Vérification Quasi-automatique De Code OCaml En Logique De Séparation. 2024.

MLA (9th ed.) Citation

Gros, Charlène, and Mário Pereira. Le Chameau Et Le Serpent Rentrent Dans Un Bar: Vérification Quasi-automatique De Code OCaml En Logique De Séparation. 2024.