TTP: A case study in combining induction and data independence

Bibliographische Detailangaben
Hauptverfasser: Roscoe, A, Creese, S
Format: Report
Veröffentlicht: Oxford University Computing Laboratory 1999