eNauka - pregled

Pregled prema Projekat COST IC1201 BETTY, IC1402 ARVI and DART

Prikaz rezultata 1 do 1 od 1
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoKonferencijski rad
Mp kategorija će biti prikazana naknadno.