Sitnikovski, Boro
- Formalizing line editors in Coq
2020/06/05 by Boro Sitnikovski, Sitnikovski, Boro · 1 voice
Computer Science · Mathematics · #Computer science #Line (geometry) #Logic, programming, and type systems #Mathematics #Mathematics, Computing, and Information Processing #Model-Driven Software Engineering Techniques #Programming language #Software engineering #cs.LO