Leroy A. Smith

According to our database, Leroy A. Smith authored at least 1 paper in 1973.

Collaborative distances:

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

1973

SPIL: A language for construction of reliable system software.

Barbara H. Liskov, Leroy A. Smith

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973