The 20th International Symposium on Theoretical Aspects of Software Engineering

Details

City / Country: Shanghai, China

Event dates: 4 July 2026

Submission deadline: 21 February 2026

Categories: —

Official website: —

Description

Topics

formal methods, formal verification, software engineering