John Launchbury
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society