–
Доклады на научных конференциях
-
- 2017 Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculus (Устный)
- Авторы: Кривчиков М.А., Шульгин Е.В.
- Актуальные проблемы системной и программной инженерии (АПСПИ 2017), Москва, Россия, 14-16 ноября 2017
-
- 2017 К статической проверке нетривиальных ограничений в реляционной модели предметной области (Устный)
- Авторы: Шульгин Е.В., Кривчиков М.А.
- Знания-Онтологии-Теории (ЗОНТ-2017), Новосибирск, Россия, 2-6 октября 2017