CAV (Conférence)
Workshop on Computer-Aided Verification
CAV (konference)
VIAF ID: 149058477 ( Corporate )
Permalink: http://viaf.org/viaf/149058477
Preferred Forms
- 111 2 _ ‡a CAV (Conference)
- 110 2 _ ‡a CAV (Conference)
-
-
- 111 2 _ ‡a Workshop on Computer-Aided Verification
4xx's: Alternate Name Forms (19)
Works
Title | Sources |
---|---|
Computer aided verification, [2013]: |