This HTML5 document contains 8 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbohttp://dbpedia.org/ontology/
wdrshttp://www.w3.org/2007/05/powder-s#
n4https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:Compiler_correctness
wdrs:describedby
n4:Standard_ML n4:Formal_methods n4:Formal_verification n4:Regression_testing
dbo:wikiPageWikiLink
dbr:Formal_verification dbr:Regression_testing dbr:Standard_ML dbr:Formal_methods