Yesheng Chai

Identifiers

• name variant Yesheng Chai 0.60 · backfill

Papers (1)

1. Formal Consistency Checking over Specifications in Natural Languages cs.SE · 2014 · author #4

Mentions

• 1405.5003 #4 · backfill · confidence 0.70 Yesheng Chai

Frequent Coauthors

• Chih-Hong Cheng 1 shared papers
• Guangquan Zhang 1 shared papers
• Rongjie Yan 1 shared papers