Matches in VIAF for { <http://viaf.org/viaf/sourceID/NKC%7Cko2005310355#skos:Concept> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- skos:Concept type Concept.
- skos:Concept altLabel "Conference on Computer-Aided Verification".
- skos:Concept altLabel "DIMACS Workshop on Computer-Aided Verification".
- skos:Concept altLabel "International Workshop on Computer Aided Verification".
- skos:Concept altLabel "Workshop on Computer-Aided Verification".
- skos:Concept inScheme NKC.
- skos:Concept prefLabel "CAV (konference)".
- skos:Concept focus 160878472.