TTP: A case study in combining induction and data independence

Dettagli Bibliografici
Autori principali: Roscoe, A, Creese, S
Natura: Report
Pubblicazione: Oxford University Computing Laboratory 1999