Taibi F, Abbou FM, Alam MJ. On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science [Internet]. 2009 Jun. 1 [cited 2024 Apr. 26];8(2):11-9. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256