Boro Sitnikovski

According to our database, Boro Sitnikovski authored at least 4 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2022

The Budge programming language.

Boro Sitnikovski

CoRR, 2022

2021

Tutorial on implementing Hoare logic for imperative programs in Haskell.

Boro Sitnikovski

CoRR, 2021

2020

Formalizing line editors in Coq.

Boro Sitnikovski

CoRR, 2020

PubSub implementation in Haskell with formal verification in Coq.

Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska

CoRR, 2020