Theoretical aspects of computing - ICTAC 2021 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings - Cerone, Antonio; Ölveczky, Peter Csaba (Springer, 2021)
Keywords: Logics and Meanings of Programs; Control Structures and Microprogramming; Input/Output and Data Communications; Computer Applications; Computer logic; Microprogramming; Input-output equipment (Computers); Application software; Theoretische Informatik; Formale Methode; Computer; Logik; Programmverifikation; Softwareentwicklung; Softwaretest; Natürliche Sprache; Software Engineering; Mikroprogrammierung; Konferenzschrift -- 2021 -- Online