Leroy A. Smith

Publication Activity (10 Years)

Years Active: 1973-1973
Publications (10 Years): 0

Publications

Barbara H. Liskov, Leroy A. Smith
SPIL: A language for construction of reliable system software. SIGPLAN-SIGOPS Interface Meeting (1973)