A Program Verification System Based on Oz. - Isabelle Dony; Baudouin Le Charlier (MOZ, 2004)

A tool for helping teach a programming method. - Isabelle Dony; Baudouin Le Charlier (ITiCSE, 2006)

Design, implementation and evaluation of MPVS : a tool to support the teaching of a programming method. - Isabelle Dony (2007)