BREZOVAN, Marius; STANESCU, Liana; GANEA, Eugen. Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. Informatica, [S. l.], v. 40, n. 1, 2016. Disponível em: https://www.informatica.si/index.php/informatica/article/view/1168. Acesso em: 14 jan. 2026.