Software Verification: 12th International Conference, Vstte 2020, and 13th...

Software Verification : 12th International Conference, Vstte 2020, and 13th I...

Software Verification: 12th International Conference, VSTTE 2020, and 13th Inter

Hardware and Software : Verification and Testing: 12th International Haifa Ve...

Videogame Sciences and Arts : 12th International Conference, VJ 2020, Mirande...

Computer Aided Verification: 32nd International Conference, Cav 2020, Los...

Christakis - Software Verification 12th International Conference VS - X555z

Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, ...