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