Software (theme 1)
Springer
Lecture Notes in Computer Science
Conference on Language and Automata Theory and Applications
Computer Security

Rot, J.C, Bonsangue, M.M, & Rutten, J.J.M.M. (2013). Coinductive proof techniques for language equivalence. In Proceedings of Conference on Language and Automata Theory and Applications 2013 (LATA 7). Springer.