TAIBI, Fathi; ABBOU, Foud Mohamed; ALAM, MD. Jahangir. On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science, [S. l.], v. 8, n. 2, p. 11–19, 2009. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256. Acesso em: 22 nov. 2024.