Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Data, Knowledge and Action
  4. Automatic Maintenance of Association Invariants

Automatic Maintenance of Association Invariants

James Welch‚ David Faitelson and Jim Davies

Book Title
Proceedings of Software Engineering and Formal Methods (SEFM) 2005
Publisher
IEEE Computer Society Press
Year
2005

Links

See Also

Back to Top