← К поиску статей
ZenodoПубликация

Lookahead Calculation Verification: Predicting Which Intermediate Calculations Are Most Likely to Contain Consequential Errors

Zhang, Jincheng

DOI: 10.5281/zenodo.23832093

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.