Contracts in CML

Woodcock, J. C. P. orcid.org/0000-0001-7955-2702, Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Fitzgerald, J. et al. (2 more authors) (2014) Contracts in CML. In: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Lecture Notes in Computer Science. Springer, pp. 54-73.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 2014
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 26 Oct 2016 09:30
Last Modified: 20 Sep 2025 02:34
Published Version: https://doi.org/10.1007/978-3-662-45231-8_5
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-662-45231-8_5
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: isola_contracts.pdf

Description: isola-contracts

CLICK TO DOWNLOAD [thumbnail of isola-contracts]

Export

Statistics


CORE (COnnecting REpositories)