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

1992

Newtonian Arbiters Cannot be Proven Correct.

Michael Mendler, Terry Stroup

Proceedings of the Designing Correct Circuits, 1992

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