Mike Gordon
E1977855
UNEXPLORED
Mike Gordon was a prominent British computer scientist known for his pioneering work in formal methods and hardware verification.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Mike Gordon canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.