Statistics
Publications
1
Citations
184
H-Index
1
Active since
1981
Affiliations
Newcastle University(Current)
J. M. Rushby is an author at Newcastle University specializing in deductive verification, security property verification, and system security.
Publications per year
1981–1981
1
1