Login / Signup
Xingxing Pi
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Text Mining
Interesting Patterns
Natural Language
Formal Languages
Top Venues
KSEM (2)
</>
Publications
</>
Xingxing Pi
,
Jianqi Shi
,
Yanhong Huang
,
Hansheng Wei
Automated Mining and Checking of Formal Properties in Natural Language Requirements.
KSEM (2)
(2019)