S. Shastry

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1979

1 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): 196-217 (1979)

	1979
1		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): 196-217 (1979)

Coauthor Index