| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 SWAT (FOCS) 1968: 99-105 |
| 1 | Jayadev Misra | [5] [6] |
| 2 | Raymond T. Yeh | [4] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page