0 | -- | 31 | Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny. A Methodology for Verifying Refinements of Partial Models |
0 | -- | 0 | Eugene Syriani, Manuel Wimmer. VOLT 2012/2013 Special Section |
0 | -- | 43 | Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy. Formal Verification Techniques for Model Transformations: A Tridimensional Classification |
0 | -- | 25 | David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits. Validating Transformations for Semantic Anchoring |