Registration for PSSV-2017
Registration for workshop on Program Semantics, Specification and Verification - PSSV-2017 (MSU, June 26, 2017)
Family and Given names (e.g. Shilov Nikolay)
Affiliation including city (and country if other than Russia)
Presenter of a contributed talk
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Terms of Service