Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/gemoc_intro⫷Vol-2019/gemoc_1⫸Vol-2019/gemoc_2
Qishen ZhangJanos SztipanovitsTamás Kecskés

Bridging Engineering and Formal Modeling: WebGME and Formula Integration