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

people

Jim Davies | James Welch