Eliminating bugs in real systems

Fraser Brown. Eliminating bugs in real systems. PhD thesis, Stanford University, USA, 2022. [doi]

Abstract

Abstract is missing.