Gilezan, Silvia
Rеzultаti 1-2 оd 2 (Vrеmе prеtrаgе: 0.001 sekundi).
Dаtum izdаvаnjа | Nаslоv | Аutоr(i) | |
---|---|---|---|
1 | 9-окт-2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Santo J.; Gilezan, Silvia |
2 | 31-авг-2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija |