Журналы
Разделы книг
Статьи по ключевому слову correctness of task interfaces
Контроль доступа к разделяемым ресурсам в многозадачных программных приложениях
В. В. Никифоров - д.т.н., профессор, вед. науч. сотрудник, СПИИРАН. E-mail: nik@iias.spb.su