URN:NBN:SI:doc-YI3OCTM22020Hariati, Mehdidocuments/doc/Y/URN_NBN_SI_doc-YI3OCTM2_001.pdfdocuments/doc/Y/URN_NBN_SI_doc-YI3OCTM2_001.txt444articlestr. 469-4750.31449/inf.v44i4.31520350-559649758211URN:NBN:SI:doc-YI3OCTM2engSlovensko društvo InformatikaInformatica (Ljubljana)BYarhitektura programske opremeklasifikacijakomponentemetoda preverjanjaprogramska opremaFormal verification issues for component-based development