Christakis - Software Verification 12th International Conference VS - X555z

Software Verification - 9783030636173

Reversible Computation 12th International Conference RC 2020 Oslo

Swarm Intelligence 12th International Conference ANTS 2020 Barcel

Ad Hoc Networks 12th EAI International Conference ADHOCNETS 2020

Pattern Recognition 12th Mexican Conference MCPR 2020 Morelia Mex

Interactive Storytelling 12th International Conference on Interac

Hardware and Software Verification and Testing 12th International