Следующие страницы ссылаются на «Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний»: