@conference{04b8a4cd7b274f9b9f58c0022bb67864,
title = "V{\'e}rification de programmes OCaml fortement imp{\'e}ratifs avec Why3",
author = "Filli{\^a}tre, \{Jean Christophe\} and M{\'a}rio Pereira and \{de Sousa\}, \{Sim{\~a}o Melo\}",
year = "2018",
month = jan,
day = "1",
language = "Fran{\c c}ais",
pages = "151--164",
note = "Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 ; Conference date: 24-01-2018 Through 27-01-2018",
}