Заметили ошибку или устаревшие данные? Сообщите нам, и мы проверим.
Об этой возможности: 24th ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)
