Nanopublications LDF server
Nanopublications
Search Nanopublications by triple/quad pattern
subject
predicate
object
graph
Matches in Nanopublications for
{ ?s ?p "Verifiable source code documentation in controlled natural language" ?g. }
Showing items 1 to 2 of
2
with
100
items per page.
RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U
label
"
Verifiable source code documentation in controlled natural language
"
pubinfo
.
j.scico.2014.01.002
title
"
Verifiable source code documentation in controlled natural language
"
assertion
.