Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Hung, Dang Van.; Kapur, Deepak; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
Keywords: Computer logic; Programming languages (Electronic computers).; Artificial intelligence; Software engineering; Mathematical logic; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Software Engineering; Mathematical Logic and Formal Languages