No.063 Semantics and Verification of Object-Oriented Languages

Icon

NII Shonan Meeting Seminar 063

Feb 16, 2015

Organizers

  • Atsushi Igarashi, Kyoto University, Japan
  • Andrzej Murawski, University of Warwick, United Kingdom
  • Nikos Tzevelekos, Queen Mary University of London, United Kingdom

Category: Uncategorized

Tagged:

Comments are closed.