Version mkdir

Feedback for: Getting software right with properties, generated tests, and proofs

Please let us know how you liked this event:

How would you rate this event? 5 is the best rating and 1 is the worst.
What did you like? What did you not like? How could this event be improved? Please share your thoughts.