Opening book details…
About this Engineering article
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking by Zhang, Jiansong; El-Gohary, Nora M. is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Zhang, Jiansong; El-Gohary, Nora M.
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0926-5805)
- Published
- 2017
- Field
- Engineering (Physical Sciences)