APA:
Boumaza, Kamal, Tolba, Cherif, Ober, Iulian (2021). Formal verification of emergent properties.
Informatica (Ljubljana), volume 45, issue 3, str. 463-475.
URN:NBN:SI:DOC-MYKL23PA from http://www.dlib.si
MLA:
Boumaza, Kamal, Tolba, Cherif, Ober, Iulian. "Formal verification of emergent properties."
Informatica (Ljubljana) volume 45. issue 3 (2021) str. 463-475.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-MYKL23PA>