Rance Cleaveland
E384577
UNEXPLORED
Rance Cleaveland is a computer scientist known for his work in formal methods and model checking, particularly in the verification of concurrent and distributed systems.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.