Proofs by program transformations (1999)
Cached
Download Links
by
Abhik Roychoudhury
,
K. Narayan Kumar
,
C. R. Ramakrishnan
,
I. V. Ramakrishnan
| Venue: | proceedings of Logic-based Program Synthesis and Transformation (LOPSTR |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Roychoudhury99proofsby,
author = {Abhik Roychoudhury and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan},
title = {Proofs by program transformations},
booktitle = {proceedings of Logic-based Program Synthesis and Transformation (LOPSTR},
year = {1999},
pages = {pages}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
