close

  
Filter options:

Freebase Commons Metaweb System Types /type

Object is not asserted on this topic.
Key

Freebase Commons Common /common

Freebase Commons People /people

Freebase Commons Media /media_common

Freebase Commons Awards /award

Year Award category Award winner Winning work Ceremony Achievement level Notes/Description
  • -
  • -
  • for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
  • -
  • -
  • -
  • -
  • -

Comments

Hide