An introduction to formal verification - prepare to have your mind blown (or your money back)
Where? ECSS 2.415
When? Nov. 20 @ 7
An introduction to formal verification - prepare to have your mind blown (or your money back)
Where? ECSS 2.415
When? Nov. 20 @ 7