Richard Waldinger
E260375
UNEXPLORED
Richard Waldinger is a computer scientist known for his work in automated reasoning and program verification, often in collaboration with Zohar Manna.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.