Cancelled: Reasoning about Critical Systems using Refinement
- Date Friday, June 08, 2018 Time 11:00 AM
- This talk has been cancelled
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.