Day 3: Formal Methods

Q&A and Panel discussions