Dr. Mike Dodds | N things I learned trying to do formal methods in industry
Автор: INI Seminar Room 1
Загружено: 2024-10-28
Просмотров: 507
Описание:
Title: N things I learned trying to do formal methods in industry
Speaker: Dr Mike Dodds (Galois, Inc.)
Date: 8th Oct 2024 - 16:00 to 16:45
Event: (BSPW01) Big Specification: Specification, Proof, and Testing at Scale
🔗 Find out more: https://www.newton.ac.uk/seminar/44420
-------------------
FOLLOW US
🌐| Website: https://www.newton.ac.uk
🎥| Main Channel: / @isaacnewtoninstitute
🐦| Twitter: / newtoninstitute
💬| Facebook: / newton.institute
📷| Instagram: / isaacnewtoninstitute
🔗| LinkedIn: / isaac-newton-institute-for-mathematical-sc...
SEMINAR ROOMS
🥇| INI Seminar Room 1: / @iniseminarroom1
🥈| INI Seminar Room 2: / @iniseminarroom2
🛰️| INI Satellite Events: / @inisatellite
ABOUT
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
👉 Learn more about us and our events here: https://www.newton.ac.uk
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
