Heterogeneous Semantics and Unifying Theories.

Jim Woodcock, Simon Foster, Andrew Butterfield

Browse the full ISoLA paper archive.