Заключение

о предложении Б.А. Головкина по книге "Надежность программ ЭВМ".