creator search
CAV(1991-2001)
この人物の情報
schema:name | DIMACS Workshop on Computer-Aided Verification; International Conference, CAV; International Workshop, CAV; International Conference on Computer Aided Verification; Workshop on Computer-Aided Verification; Conference on Computer-Aided Verification |
schema:birthDate | 1991 |
schema:deathDate | 2001 |