https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/Head https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/provenance https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/pubinfo https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion http://id.crossref.org/issn/0167-6423 http://purl.org/dc/terms/title Science of Computer Programming https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/dc/terms/date 2014-12 https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/dc/terms/isPartOf http://id.crossref.org/issn/0167-6423 https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/dc/terms/title Verifiable source code documentation in controlled natural language https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/ontology/bibo/authorList https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/author-list https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/ontology/bibo/pageEnd 140 https://doi.org/10.1016/j.scico.2014.01.002 http://purl.org/ontology/bibo/pageStart 121 https://doi.org/10.1016/j.scico.2014.01.002 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/spar/fabio/Article https://orcid.org/0000-0001-8087-1903 http://schema.org/affiliation https://ror.org/047gc3g35 https://orcid.org/0000-0001-8087-1903 http://xmlns.com/foaf/0.1/name Alexandre Bergel https://orcid.org/0000-0002-1267-0234 http://schema.org/affiliation https://ror.org/05a28rw58 https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://ror.org/047gc3g35 http://xmlns.com/foaf/0.1/name Universidad de Chile, Santiago, Chile https://ror.org/05a28rw58 http://xmlns.com/foaf/0.1/name ETH Zurich, Switzerland https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_1 https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_2 https://orcid.org/0000-0001-8087-1903 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/provenance https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0001-8087-1903 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://doi.org/10.1016/j.scico.2014.01.002 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/pubinfo https://orcid.org/0000-0001-8087-1903 http://xmlns.com/foaf/0.1/name Alexandre Bergel https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/dc/terms/created 2026-02-24T21:00:57.000+01:00 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/dc/terms/creator https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/dc/terms/license https://creativecommons.org/publicdomain/zero/1.0/ https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/nanopub/x/hasNanopubType http://purl.org/spar/fabio/ScholarlyWork https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/nanopub/x/introduces https://doi.org/10.1016/j.scico.2014.01.002 https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://purl.org/nanopub/x/supersedes https://w3id.org/np/RANA7hR6HL9CmQnFvjywmD9OUx__ycy2GEa9auKvT-g-U https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw http://www.w3.org/2000/01/rdf-schema#label Verifiable source code documentation in controlled natural language https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/sig http://purl.org/nanopub/x/hasSignature f9+WcDpflgBs3KyJu8Dg/B56cc0qVjvaOdxTbjv6L1wDZFB+yYas5VI0wESQPcTpcJ+aMNN6enKWlkXnUhQ0scB//be3ztbD+0crOJpXk630G0pwiXq7iwNDGDFS9J2QxoiscGVKdjRteocPqRYqEqAf5duxv7EIGKy7GHJpFl6COsoGyS4GiHNrA9DcUXnXllv4psPHGes/fcRqFz55Fow0kvrE9RMYLYY494oHWQFMcn1vY9En7YxxG3zg+B0gOif83aIDowXpZxT/ri7OA7VF7vE//500KEgpKExfi1z53+o+jPU5VhqZJWec6IaazxJSUA4JFIsU3aZoAz2wYw== https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw https://w3id.org/np/RAQFpafy2HmOfIfSfhEZJNZ5yqLipjM-5volzBXXQyCDw/sig http://purl.org/nanopub/x/signedBy https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot