Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022

Registered user since Sat 17 Feb 2018

Name:Xin Yi
Affiliation:National University of Defense Technology
Research interests:Programming Languages, Numerical Software, Automated Program Repair


ICST 2022 Symbolic Verification of Message Signatures in MPI
Show activities from other conferences

ICST 2022-profile
View general profile