2024
Product Health Insights Using Telemetry.
[DOI]
Fei Su
,
Robert Kwasnick
,
John Holm
,
William Penner
,
Hermann Gartler
,
Josh Boelter
,
Yufei Zhou
,
Bijan Arbab
,
Michael Rothberg
IEEE Des. Test, August, 2024

1980
Floating-Point Arithmetic and Program Correctness Proofs.
John Holm
PhD thesis, 1980