TASE 2020

14th International Symposium on Theoretical Aspects of Software Engineering
11, Dec, 2020 to 13, Dec, 2020
Hangzhou, China
Homepage: https://sei.ecnu.edu.cn/tase2020/ap.htmOutside Link

Participants:
,
André Pedro
,
Martin Leucker
,
David Pereira
,
Jorge Sousa Pinto




                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

Previous