@misc{Barendregt_2007,
doi = {10.1002/9780470050118.ecse579},
url = {https://doi.org/10.1002%2F9780470050118.ecse579},
year = {2007},
month = {dec},
publisher = {Wiley},
author = {Henk Barendregt},
title = {Proofs of Correctness in Mathematics and Industry}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A