Mordvinov, Dmitry
- Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
2021/04/09 by Yurii Kostyukov, Kostyukov, Yurii, Dmitry Mordvinov +3 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques #cs.FL #cs.PL