"Formalised EMFTVM bytecode language for sound verification of model ..."

Zheng Cheng, Rosemary Monahan, James F. Power (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics