Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
Text from Wikipedia, available under CC BY-SA 4.0.
Captured 2026-08-23 from Wikipedia. The archived copy is preserved so this citation survives link rot.