No.069 Logic and Verification Methods in Security and Privacy

Icon

NII Shonan Meeting Seminar 069

Sep 4, 2015

Organizers

  • Marco Gaboardi, University of Dundee, UK
  • Vivek Nigam, Federal University of Paraiba, Brazil
  • Tachio Terauchi, JAIST, Japan

Category: Uncategorized

Tagged:

Comments are closed.