TTP: A case study in combining induction and data independence
A. W. Roscoe and S.J. Creese
Details
| Institution |
Oxford University Computing Laboratory |
| Number |
PRG−TR−1−99 |
| Year |
1999 |
Links
Related pages
|
People |
|
|
Activities |