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

Web Engineering: 20th International Conference, ICWE 2020, Helsinki, Finland, Ju

Algebraic Methodology and Software Technology: 13th International Conference, AM

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

Software Engineering and Formal Methods : 13th International Conference, Sefm...

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

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