Amir Pnueli
E260368
UNEXPLORED
Amir Pnueli was an Israeli computer scientist renowned for introducing temporal logic to computer science and for his pioneering work in formal verification, for which he received the Turing Award.
Jump to:
Referenced by
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.