Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Data independent induction over structured networks

Data independent induction over structured networks

A. W. Roscoe and S.J. Creese

Book Title
Proceedings of PDPTA2000
Year
2000

Links

See Also

Back to Top