APA (7th ed.) Citation

Yan, R., Cheng, C., & Chai, Y. (2015, March). Formal consistency checking over specifications in natural languages. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1677-1682. https://doi.org/10.5555/2755753.2757200

Chicago Style (17th ed.) Citation

Yan, Rongjie, Chih-Hong Cheng, and Yesheng Chai. "Formal Consistency Checking over Specifications in Natural Languages." 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) Mar. 2015: 1677-1682. https://doi.org/10.5555/2755753.2757200.

MLA (9th ed.) Citation

Yan, Rongjie, et al. "Formal Consistency Checking over Specifications in Natural Languages." 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar. 2015, pp. 1677-1682, https://doi.org/10.5555/2755753.2757200.