Два подхода к созданию программного обеспечения на базе алгоритмически безопасных процедурстатья

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