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

К статической проверке нетривиальных ограничений в реляционной модели предметной областидоклад на конференции