Login / Signup

Verification of Model Transformations Using Isabelle/HOL and Scala.

Said MeghziliAllaoua ChaouiMartin StreckerElhillali Kerkouche
Published in: Inf. Syst. Frontiers (2019)
Keyphrases