COBISS Co-operative Online Bibliographic system & services COBISS
Raul Barbosa
Personal bibliography for the period 2011-2023
2011
1.
BARBOSA, Raul (editor), CAIRES, Luís (editor). INForum 2011 : terceiro simpósio de informática, Coimbra, Setembro de 2011. Coimbra: Dep. de Eng. Informatica da Universidade de Coimbra, 2011. 1 el. optični
disk (CD-ROM). ISBN 978-989-96001-5-7. [COBISS.SI-ID 15462422]
2023
2.
AVDALOVIĆ, Aleksandar, BARBOSA, Raul (research coworker). Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja
: magistrsko delo = Translation of random forests to loop-free imperative programs
for the purpose of formal verification : master's thesis. Koper: [A. Avdalović], 2023. 1 spletni vir (1 datoteka PDF (IX, 34 str., [5] str.
pril.)), ilustr. Repozitorij Univerze na Primorskem - RUP. [COBISS.SI-ID 167114755]