Derniers articles pour Translation Processes

Cet article parle des défis et des outils pour traduire des modèles VDM en Isabelle/HOL.