Formal consistency checking over specifications in natural languages.

Rongjie Yan, Chih-Hong Cheng, Yesheng Chai

Browse the full DATE paper archive.