Foundations of software science and computation structures 20th International Conference, FOSSACS 2017: held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings - Esparza, Javier 1964-; Murawski, Andrzej S. (Springer, 2017)
Keywords: Computer science; Software engineering; Programming languages (Electronic computers); Computers; Computer logic; Mathematical logic; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Computation by Abstract Devices; Informatik; Formale Methode; Theoretische Informatik; Programmierlogik; Softwarewissenschaft; Programmierung; Mathematische Logik; Programmiersprache; Konferenzschrift