Cayetano Santos"OS correctness: A Formal but Pragmatic Foundation for General-Purpose Operating Systems.", or the missing link between #hardware and #software.
Compute & Accelerator Forum - OS correctness
To receive annuoncements and information about this forum please subscribe to [email protected]