Beth R. Schneider is an author at Stanford University specializing in formal verification, program analysis, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationEducationMathematics TeachingSecondary Mathematics Education
Publications per year
1989–2000
3
3
Long-term treatment of pulmonary hypertension with aerosolized iloprost
S. Machherndl, H. Baumgartner, Beth R. Schneider et al. · European Respiratory Journal · 2000 · 61 citations · Full text
Analyzing and Modeling Arithmetic Errors
John A. Blando, Anthony Kelly, Beth R. Schneider et al. · Journal for Research in Mathematics Education · 1989 · 32 citations
Engineering, Verification, Education +16
Analyzing and Modeling Arithmetic Errors
John A. Blando, Anthony E. Kelly, Beth R. Schneider et al. · Journal for Research in Mathematics Education · 1989 · 21 citations
Rows per page
1–3 of 3