Система поддержки верификации реализаций протоколов когерентности с использованием формальных методовстатья

Статья опубликована в журнале из перечня ВАК