Tech Talk - Secrets of the Universe

An introduction to formal verification - prepare to have your mind blown (or your money back)

Where? ECSS 2.415
When? Nov. 20 @ 7