Un modèle de l'assistant à la preuve PAF! - Séverine Maingaud (Stud. Inform. Univ., 2009)

Specifying Imperative ML-Like Programs Using Dynamic Logic. - Séverine Maingaud; Vincent Balat; Richard Bubel; Reiner Hähnle; Alexandre Miquel (FoVeOOS, 2010)