Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- (view affiliations)
The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.