FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Limin Jia
Limin Jia

Registered user since Mon 18 Jan 2016

Name:Limin Jia
Affiliation:Carnegie Mellon University
Personal website: https://www.andrew.cmu.edu/user/liminjia/
Research interests:Security, Programming languages

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile