1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Peter Sewell, Jean Pichon-Pharabod
Computing has been an astonishing success - but the accumulated technical debt exposes us all to huge costs in business and societal risk. For 75 years, we've built systems to pros…