Monday, December 05, 2016

Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications( PSSV 2017)

June 23-24, 2017
Moscow, Russia


Important Dates
  • Submission Deadline  : April 10, 2017
  • Notification Due             : May 15, 2017