MOBILESoft 2022
Tue 17 - Wed 18 May 2022
co-located with ICSE 2022

Registered user since Mon 31 Jan 2022

Name:Kunjian Song
Affiliation:The University of Manchester
Research interests:Formal verification

Contributions

Show activities from other conferences

ICSE 2022-profile
View general profile