Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Zhe Chen

Registered user since Mon 17 May 2021

Name:Zhe Chen
Country:China
Affiliation:Nanjing University of Aeronautics and Astronautics
Research interests:Formal Methods, Software Verification, Model Checking, Runtime Verification

Contributions

ISSTA 2021 Runtime Detection of Memory Errors with Smart Status
Runtime Detection of Memory Errors with Smart Status
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile