Séverine Maingaud

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS (2010)
Séverine Maingaud
Un modèle de l'assistant à la preuve PAF! Stud. Inform. Univ. 7 (2) (2009)
Séverine Maingaud
Un modèle de l'assistant à la preuve: PAF! JFLA (2009)