Webinar formal modeling by Professor Holger Hermanns

The webinar 'formal modeling' by Professor Holger Hermanns shines light on the software reliability expertise that is already present in the STORM_SAFE consortium.