CAV Award

E260376 UNEXPLORED

The CAV Award is a prestigious honor in computer science recognizing fundamental and influential contributions to the field of computer-aided verification.

Jump to: Referenced by

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

E. Allen Emerson → awardReceived → CAV Award ⓘ

Zohar Manna → awardReceived → CAV Award ⓘ