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: Formale Methode; Theoretische Informatik; Computer; Logik; Programmverifikation; Softwareentwicklung; Softwaretest; Software Engineering; Natürliche Sprache; Mikroprogrammierung; Konferenzschrift -- 2021 -- Online