Pradella, Matteo
- A User's Guide to Zot
2009/12/26 by Matteo Pradella, Pradella, Matteo · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.LO
- Generalizing input-driven languages: theoretical and practical benefits
2017/05/02 by Dino Mandrioli, Mandrioli, Dino, Matteo Pradella +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.FL