| |
Бурдонов, И. Б.
Семантики взаимодействия с отказами, дивергенцией и разрушением [Текст] / И. Б. Бурдонов, А. С. Косачев
// Программирование. – 2010. – № 5. – С. 3-23.
Рассматриваются формальные методы тестирования конформности исследуемой системы спецификации. |
