APA:
Hariati, Mehdi (2020). Formal verification issues for component-based development.
Informatica (Ljubljana), volume 44, issue 4, str. 469-475.
URN:NBN:SI:DOC-YI3OCTM2 from http://www.dlib.si
MLA:
Hariati, Mehdi. "Formal verification issues for component-based development."
Informatica (Ljubljana) volume 44. issue 4 (2020) str. 469-475.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-YI3OCTM2>