JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Challenges of Software Verification Symposium 2023
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Auth
or
*
Your answer
E-mail
*
Your answer
Other authors
Your answer
Title
*
Your answer
Abstract (max 1000 characters)
*
Your answer
What is the main field of your abstract?
*
Choose
Theory of static program analysis
Practice of static program analysis
Program verification
Software engineering
Other
Are you a PhD student or did you get your PhD degree less than 3 years ago?
*
Yes
No
Do you intend to submit a paper to the STTT special issue?
Yes
No
Maybe
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of Università Ca’ Foscari.
Report Abuse
Forms
