Foundations of software science and computation structures 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018 : proceedings - Baier, Christel; Dal Lago, Ugo (Springer Open, 2018)
Keywords: Computer science; Computer system failures; Software engineering; Computer logic; Computer science / Mathematics; Artificial intelligence; Computers; Computer Science; Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); System Performance and Evaluation; The Computing Profession; Discrete Mathematics in Computer Science; Formale Methode; Theoretische Informatik; Mathematische Logik; Programmierlogik; Software Engineering; Softwarewissenschaft; Programmierung; Programmiersprache; Konferenzschrift