PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Zhenya Zhang

Registered user since Tue 22 Sep 2020

Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University, Japan
Research interests:Formal methods, Hybrid system falsification, Temporal logic, Runtime verification

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile