John Rushby
3 references 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.
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Formal Methods and the Certification of Critical Systems
John Rushby (1993)