RE2B: Enhancing Correctness of Both Requirements and Design Models.

Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao

Browse the full TASE paper archive.