Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings - Raschke, Alexander; Méry, Dominique (Springer International Publishing, 2021)
Keywords: Mathematical Logic and Formal Languages; Computer Systems Organization and Communication Networks; Logic in AI.; Information Systems Applications (incl. Internet); Programming Languages, Compilers, Interpreters; Mathematical logic; Computer organization; Artificial intelligence; Computer logic; Application software; Programming languages (Electronic computers); Mathematische Logik; Künstliche Intelligenz; Software Engineering; Mikroprogrammierung; Konferenzschrift -- 2021 -- Online