Treffer: Verifiable source code documentation in controlled natural language

Title:
Verifiable source code documentation in controlled natural language
Authors:
Source:
In Science of Computer Programming 15 December 2014 96 Part 1:121-140
Database:
ScienceDirect