APA:
Boumaza, Kamal, Tolba, Cherif, Ober, Iulian (2021). Formal verification of emergent properties.
Informatica (Ljubljana), letnik 45, številka 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) letnik 45. številka 3 (2021) str. 463-475.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-MYKL23PA>