3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Luke Geeson, James Brotherston, Wilco Dijkstra +4
The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preser…