John Rushby

JR

Statistics

Publications

3

Citations

309

H-Index

3

Active since

1997

Affiliations

John Rushby is an author at Menlo School specializing in engineering, formal methods, and computer systems.

Publications per year

1997–2003

3

Publications

3