VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Verifiable source code documentation in controlled natural language
Academic Article
http://dx.doi.org/10.1016/j.scico.2014.01.002
Overview
Additional Document Info
View All
Overview
authors
Kuhn, Tobias
Bergel, Alexandre
publication date
January 1, 2014
published in
Science of computer programming
Journal
Additional Document Info
number of pages
19
start page
121
end page
140
volume
96