Верификация программного обеспечения, часть 2

к.ф-м.н. Камкин Александр Сергеевич. МФТИ, 11 семестр (2 курс магистратуры).