Theoretical aspects of computing - ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings - Seidl, Helmut (Springer, 2022)
Keywords: Formale Methode; Theoretische Informatik; Computer; Logik; Programmverifikation; Softwareentwicklung; Softwaretest; Software Engineering; Natürliche Sprache; Mikroprogrammierung; Konferenzschrift -- 2022 -- Tiflis