Прелистување на по Автор Stojcevska, Biljana
Прикажани резултати 1 до 1 на 1
| Преглед | Наслов | Автор(ите) | Датум на издавање | Тип |
|---|---|---|---|---|
 | PubSub implementation in Haskell with formal verification in Coq | Sitnikovski, Boro; Stojcevska, Biljana; Goracinova-Ilieva, Lidija; Stojmenovska, Irena | 8-мај-2020 | Proceeding article |