Registered user since Tue 7 May 2019

Name: Zhe Chen

Country: China

Affiliation: Nanjing University of Aeronautics and Astronautics

Personal website: https://drzchen.github.io/

Research interests: Formal Methods, Software Verification, Model Checking, Runtime Verification

Contributions