Login / Signup
S. Shastry
Publication Activity (10 Years)
Years Active: 1979-1979
Publications (10 Years): 0
</>
Publications
</>
Noah S. Prywes
,
Amir Pnueli
,
S. Shastry
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.
ACM Trans. Program. Lang. Syst.
1 (2) (1979)