Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Data, Knowledge and Action
  4. Domain−Specific Semantics and Data Refinement of Object Models

Domain−Specific Semantics and Data Refinement of Object Models

Jim Davies‚ David Faitelson and James Welch

Book Title
Brazilian Symposium on Formal Methods (SBMF)
Year
2006

Links

See Also

Back to Top