Использование языка формальных спецификаций MSC для автоматизации тестирования приложений платформы .NET // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий