Computer Aided Verification Award

E2200196 UNEXPLORED

The Computer Aided Verification Award is a prestigious honor in the field of formal methods and automated verification, recognizing influential and long-lasting contributions to computer-aided verification research.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Computer Aided Verification Award canonical	1

Referenced by (1)

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

Ken McMillan → awardReceived → Computer Aided Verification Award ⓘ