TTP: A case study in combining induction and data independence

Detalhes bibliográficos
Main Authors: Roscoe, A, Creese, S
Formato: Report
Publicado em: Oxford University Computing Laboratory 1999