Browsing "Faculty of Computer Science and Engineering" by Author Goracinova-Ilieva, Lidija
Showing results 1 to 1 of 1
Preview | Title | Author(s) | Issue Date | Type |
---|---|---|---|---|
![]() | PubSub implementation in Haskell with formal verification in Coq | Sitnikovski, Boro; Stojcevska, Biljana; Goracinova-Ilieva, Lidija; Stojmenovska, Irena | 8-May-2020 | Proceeding article |