TY  - RPRT
TI  - PubSub implementation in Haskell with formal verification in Coq
AU  - Boro Sitnikovski
AU  - Biljana Stojcevska
AU  - Lidija Goracinova-Ilieva
AU  - Irena Stojmenovska
PY  - 2020
UR  - https://arxiv.org/abs/2005.09452
ID  - 2005.09452
ER  -