Heterogeneous Semantics and Unifying Theories

Woodcock, Jim orcid.org/0000-0001-7955-2702, Foster, Simon David orcid.org/0000-0002-9889-9514 and Butterfield, Andrew (Accepted: 2016) Heterogeneous Semantics and Unifying Theories. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. , pp. 374-394. (In Press)

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Oct 2016 10:39
Last Modified: 01 Apr 2025 23:13
Status: In Press
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: ISoLA_SL_paper.pdf

Description: ISoLA-SL-paper

Export

Statistics