Для цитирования:

Ахин М.Х., Беляев М.А., Ицыксон В.М. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций. Моделирование и анализ информационных систем. 2013;20(6):22-35. https://doi.org/10.18255/1818-1015-2013-6-22-35

For citation:

Akhin M., Belyaev M., Itsykson V. Defect Detection: Combining Bounded Model Checking and Code Contracts. Modeling and Analysis of Information Systems. 2013;20(6):22-35. (In Russ.) https://doi.org/10.18255/1818-1015-2013-6-22-35