Cancelled: Reasoning about Critical Systems using Refinement

  • Date Friday, June 08, 2018  Time 11:00 AM
  • Speaker
  • Location
  • This talk has been cancelled