No.063 Semantics and Verification of Object-Oriented Languages

Icon

NII Shonan Meeting Seminar 063

Participants

  • Davide Ancona
  • Tomoyuki Aotani
  • Werner Dietl
  • Atsushi Igarashi
  • Vasileios Koutavas
  • Gary T. Leavens
  • Rustan Leino
  • Xin Li
  • Nadia Polikarpova
  • Erik Poll
  • Alex Potanin
  • Steven Ramsay
  • Julian Rathke
  • Sukyoung Ryu
  • Alex Summers
  • Tachio Terauchi
  • Nikos Tzevelekos
  • Hiroshi Unno
  • Thomas Wies
  • Hongseok Yang

Category: Uncategorized

Tagged:

Comments are closed.