| |
Булычев, П. Е.
Теоретико-игровое средство проверки отношений симуляций [Текст] / П. Е. Булычев
// Программирование. – 2011. – № 4. – С. 39--52.
В настоящей статье предложена программная система, предназначенная для проверки широкого класса отношений симуляции между конечными моделями программ. |
