Terry Stroup

According to our database, Terry Stroup authored at least 4 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Inheritance of Proofs.

Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup

Theory Pract. Object Syst., 1998

1993

Newtonian Arbiters Cannot be Proven Correct.

Michael Mendler, Terry Stroup

Formal Methods Syst. Des., 1993

1991

Reduktion auf adjungierten Datentypen.

Terry Stroup

PhD thesis, 1991

1989

Stepwise Refinement of Layered Protocols by Formal Program Development.

Terry Stroup, Norbert Götz, Michael Mendler

Proceedings of the Protocol Specification, 1989