В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Static Checking of Domain Constraints in Applications Interacting With Relational Database by Means of Dependently-typed Lambda Calculusстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 24 апреля 2018 г.