Sanat K. Basu

	1980
8		Sanat K. Basu: A Note on Synthesis of Inductive Assertions. IEEE Trans. Software Eng. 6(1): 32-39 (1980)
7		Sanat K. Basu: On Development of Iterative Programs from Function Specifications. IEEE Trans. Software Eng. 6(2): 170-182 (1980)
	1976
6		Sanat K. Basu, Jayadev Misra: Some Classes of Naturally Provable Programs. ICSE 1976: 400-406
	1975
5		Sanat K. Basu, Jayadev Misra: Proving Loop Programs. IEEE Trans. Software Eng. 1(1): 76-86 (1975)
4		Sanat K. Basu, Raymond T. Yeh: Strong Verification of Programs. IEEE Trans. Software Eng. 1(3): 339-346 (1975)
	1970
3		Sanat K. Basu: On the Structure of Subrecursive Degrees. J. Comput. Syst. Sci. 4(5): 452-464 (1970)
	1969
2		Sanat K. Basu: On Classes of Computable Functions STOC 1969: 55-59
	1968
1		Sanat K. Basu: Transformation of Program Schemes to Standard Forms FOCS 1968: 99-105

Coauthor Index

1	Jayadev Misra	[5] [6]
2	Raymond T. Yeh	[4]

Colors in the list of coauthors