Results 1 -
0 of
0
No citations were found for this document.
Program transformation by proof in constructive framework (1991)
by D Galmiche
| Venue: | In Informatika '91, Theoretical Computer Science and Methods of Compilation and Program Construction |
