Верификация функциональных программ методом построения диаграмм состоянийстатья

Статья опубликована в журнале из перечня ВАК