Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. TTP: A case study in combining induction and data independence

TTP: A case study in combining induction and data independence

A. W. Roscoe and S.J. Creese

Institution
Oxford University Computing Laboratory
Number
PRG−TR−1−99
Year
1999

Links

See Also

Back to Top