Boumaza, K., Tolba, C., & Ober, I. (2021). Formal Verification of Emergent Properties. Informatica, 45(3). https://doi.org/10.31449/inf.v45i3.3160