Trevor Vickers

According to our database, Trevor Vickers authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1990

Types and Invariants in the Refinement Calculus.

Carroll Morgan, Trevor Vickers

Sci. Comput. Program., 1990