Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Automating Data Independence

Automating Data Independence

A. W. Roscoe‚ P.J. Broadfoot and G. Lowe

Book Title
Proceedings of ESORICS2000
Publisher
LNCS
Volume
1895
Year
2000

Links

See Also

Back to Top