У нас вы можете посмотреть бесплатно Keynote: Tools for Verified Scala by Viktor Kuncak или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
This video was recorded at Scala Days Copenhagen 2017 Follow us on Twitter @ScalaDays or visit our website for more information http://scaladays.org Abstract: I will speak about tools for code verification, synthesis, and repair that my research group at EPFL developed over the past years.