Formal verification issues for component-based development - Hariati, Mehdi (Informatica (Ljubljana), 2020)
Keywords: arhitektura programske opreme; klasifikacija; komponente; metoda preverjanja; programska oprema