Yilongfei Xu

about me

I am currently a Master student in Software Engineering at ECNU,and fortunate to be advised by Weikai Miao in the SSEL.

My research interests include formal methods and requirements engineering.

Yilongfei Xu's papers