Richard B. Saphire is an author at University of Dayton specializing in program analysis, formal verification, and software testing.
Top concepts
LawDesignDemocracyEngineeringLegal StyleVerificationLegal DoctrineSoftware DesignComputer SciencePolitical Ethics
Publications per year
1978–2025
2
2
Rows per page
1–2 of 2