Formal Aspects of Component Software - Javier Camara; Sung-Shik Jongmans (Springer, 2024)
Keywords: Computer Science; Formal Languages and Automata Theory