Stan Jefferson

According to our database, Stan Jefferson authored at least 1 paper in 1986.

Collaborative distances:

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

1986

Executable Specifications with Quantifiers in the FASE System.

Stan Jefferson, Samuel N. Kamin

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986