Login / Signup
Stan Jefferson
Publication Activity (10 Years)
Years Active: 1986-1986
Publications (10 Years): 0
</>
Publications
</>
Stan Jefferson
,
Samuel N. Kamin
Executable Specifications with Quantifiers in the FASE System.
POPL
(1986)