Terry Stroup

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
Inheritance of Proofs. Theory Pract. Object Syst. 4 (1) (1998)
Michael Mendler, Terry Stroup
Newtonian Arbiters Cannot be Proven Correct. Formal Methods Syst. Des. 3 (3) (1993)
Michael Mendler, Terry Stroup
Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits (1992)
Terry Stroup, Norbert Götz, Michael Mendler
Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV (1989)