Extended static checking

Property	Value
rdf:type	owl:NamedIndividual Formal method Static program analysis tool
rdfs:label	Extended static checking
owl:sameAs	dbr:Extended_static_checking
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Category:Static_program_analysis_tools
skos:prefLabel	Extended static checking
skos:altLabel	extended static checking optional tools
is clgo:knownFor of	Greg Nelson (computer scientist)

About: clgr:Extended_static_checking