2 citations · 2 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
Formalizing line editors in Coq
Boro Sitnikovski
Text editors represent one of the fundamental tools that writers use - software developers, book authors, mathematicians. A text editor must work as intended in that it should allo…
cs.PL2020
PubSub implementation in Haskell with formal verification in Coq
Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva +1
In the cloud, the technology is used on-demand without the need to install anything on the desktop. Software as a Service is one of the many cloud architectures. The PubSub messagi…