Полный текст публикации: Инструментальное средство для формальной верификации функционально-потоковых параллельных программ на языке Пифагор на основе исчисления Хоара : регистрация программы для ЭВМ
Полный текст публикации: Инструментальное средство для формальной верификации функционально-потоковых параллельных программ на языке Пифагор на основе исчисления Хоара : регистрация программы для ЭВМ
Полный текст не загружен, но возможно он доступен по одной из следующих ссылок: