Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanjaAvdalović, Aleksandar (Avtor) Zenha-Rela, Mário Alberto (Mentor) Tkalčič, Marko (Komentor) Barbosa, Raul (Sodelavec pri raziskavi) deductive verificationtheorem provingrandom forestsA. Avdalović20232023-10-05 10:40:10Magistrsko delo/naloga19664UDK: 004.3(043.2)COBISS.SI-ID: 167114755sl