Foundations of Software Science and Computation Structures
Subtitle: 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
Contributors: Dal Lago, Ugo; Baier, Christel; Dal Lago, Ugo
Publisher: Springer Nature
Published: 2018
Place of publication: Cham
ISBN-13: 9783319893662
Subjects: Computer science
Description: artificial intelligence;  computer software;  selection and evaluation;  formal logic;  graph theory;  modal logic;  petri nets;  program compilers;  programming language;  semantics;  separation logic;  software engineering;  theorem proving;  type systems;  verification
Notes: Open Access Unrestricted online access

Creative Commons https://creativecommons.org/licenses/by/4.0/

English