Семинар ТРАП в этот четверг
2 views
Skip to first unread message
Eugene Kornykhin
Jun 18, 2018, 11:08:54 AM6/18/18
to Семинар <<Технологии разработки и анализа программ>>, petrenk...@ispras.ru
Доброго времени суток!
В этот четверг (21 июня) в 17:00 в Институте системного
программирования РАН имени В.П. Иванникова пройдет семинар "Технологии
разработки и анализа программ". Шишкин Евгений Сергеевич (ИнфоТеКС)
расскажет о построении инструмента формальной верификации
смарт-контрактов (технология блокчейн). Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 . До встречи!
С уважением,
Евгений Корныхин
В этот четверг (21 июня) в 17:00 в Институте системного
программирования РАН имени В.П. Иванникова пройдет семинар "Технологии
разработки и анализа программ". Шишкин Евгений Сергеевич (ИнфоТеКС)
расскажет о построении инструмента формальной верификации
смарт-контрактов (технология блокчейн). Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 . До встречи!
С уважением,
Евгений Корныхин
Reply all
Reply to author
Forward
0 new messages