Boumaza, Kamal, Cherif Tolba, and Iulian Ober. 2021. “Formal Verification of Emergent Properties”. Informatica 45 (3). https://doi.org/10.31449/inf.v45i3.3160.