Matches in VIAF for { <http://viaf.org/viaf/160878472> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- 160878472 alternateName "CAV (konference)".
- 160878472 alternateName "Conference on Computer-Aided Verification".
- 160878472 alternateName "DIMACS Workshop on Computer-Aided Verification".
- 160878472 alternateName "International Workshop on Computer Aided Verification".
- 160878472 alternateName "Workshop on Computer-Aided Verification".
- 160878472 name "CAV (konference)".
- 160878472 type Organization.