Are we there yet? Twenty years of formal verification in critical software
Speaker: Rod Chapman Date : 27th June 2017
Mike Bartley
551 views • Jun 30, 2017
About this video
Speaker: Rod Chapman
Date : 27th June 2017
Date : 27th June 2017
Video Information
Views
551
Likes
14
Duration
36:32
Published
Jun 30, 2017
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now