Browsing "Faculty of Computer Science and Engineering" by Subject cloud computing, Software as a Service, PubSub, Haskell, Coq
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 |