В программе:
- Краткий обзор инструментов формальной спецификации/верификации для программистов (Антон Трунов)
- тестирование на основе модели — как способ формализации и автоматизации тест-дизайна (Артём Страхов)
Санкт-Петербург
пр. Кима, 6, 4 этаж, оф. 423 (Health Samurai)
Показать на карте
Уже есть билет
Восстановить
Напоминаем, что для того чтобы восстановить билет организатору можно не писать.
Если вы хотите вернуть билеты, вы можете сделать это по ссылке из письма с билетами или оформить запрос организатору в вашем личном кабинете.