| |
| 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 | |
| 1 | Jayadev Misra | [5] [6] |
| 2 | Raymond T. Yeh | [4] |