5 works on record
Theoretical aspects of computing
Automated Technology for Verification and Analysis
Theoretical Aspects of Computing – ICTAC 2017
Distributed Computing and Internet Technology
Theoretical Aspects of Computing - ICTAC 2005
