Artigos mais recentes para Translation Processes

Esse artigo discute os desafios e ferramentas para traduzir modelos VDM para Isabelle/HOL.