PropertyValue
rdf:type
rdfs:label
  • Software verification
owl:sameAs
skos:prefLabel
  • Software verification
skos:altLabel
  • narrow
  • verification
  • software verification
  • program verification
  • Software_verification#Dynamic_verification_(Test,_experimentation)
  • Software Verification
  • dynamic verification
  • static verification
  • verification of software
  • verification technologies
  • verification technology
  • Software_verification#Static_verification_(Analysis)
is clgo:genre of
is clgo:knownFor of