Panel Session discussing the Industrial use of Formal Methods

Peter Gorm Larsen (moderator), Maurice ter Beek, Julia Badger, Colin O'Halloran

A panel discussing the industrial use of formal methods, moderated by Peter Gorm Larsen, with panellists Maurice ter Beek, Julia Badger and Colin O’Halloran.

 Program   FMICS Program