Feedback
Please answer the next questions regarding you and your personal perception of
the event under discussion.
If you don't want to answer a particular question, just leave it as it is.
Title: Proof of Pointer Programs with Ownership in SPARK
Track: Ada devroom
Time: Saturday 2019-02-02 09:30:00
Track: Ada devroom
Time: Saturday 2019-02-02 09:30:00