Ю. Г. Карпов

Model Checking. Верификация параллельных и распределенных программных систем

Подробнее