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