| |
| | Bibliography kedar (Site not responding. Last check: ) |
 | | Kedar S. Namjoshi and Robert P. Kurshan, Efficient Analysis of Cyclic Definitions, 11th Conference on Computer Aided Verification, 1633, pp. |
 | | Kedar S. Namjoshi and Robert P. Kurshan, Syntactic Program Transformations for Automatic Abstraction, 12th Conference on Computer Aided Verification, 1855, LNCS, 2000. |
 | | Kedar S. Namjoshi and Richard J. Trefler, On the Completeness of Compositional Reasoning, 12th Conference on Computer Aided Verification, 1855, LNCS, 2000. |
| cm.bell-labs.com /cm/cs/bib2html/kedar.html (451 words) |
|