Skip to content
  • Log in
  • Register
TIB
  • All Imported Services
  • Organizations
  • Groups
  • About
  • Demo
  • FedORKG
  1. Home
  2. Organizations
  3. No Organization
  4. Invalidator: Automated...

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

Followers
0

Organization

no-organization

No Organization

There is no description for this organization

Social

  • Twitter
  • Facebook

License

No License Provided

Export

DCAT(rdf/xml) DCAT(xml) DCAT(N3) DCAT(ttl) DCAT(jsonld) DataCite CSL DublinCore BibTex

  • Dataset
  • Groups
  • Activity Stream

Activity Stream

  • Gravatar admin updated the dataset Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
    1 month ago  |  View this version  |  Changes

  • Gravatar admin created the dataset Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
    1 month ago  |  View this version

Before browse our site, please accept our cookies policy
  • About LDM
  • CKAN API
  • CKAN Association
  • Open Data
Legal Notices
  • Terms of Use of the TIB
  • Special conditions TIB LDM
  • Data Privacy Statement
  • Imprint
  • Accessibility Statement

Powered by CKAN