Hybrid Relations in Isabelle/UTP

Foster, Simon David orcid.org/0000-0002-9889-9514 (2019) Hybrid Relations in Isabelle/UTP. In: 7th International Symposium on Unifying Theories of Programming (UTP). Lecture Notes in Computer Science . Springer , pp. 130-153.

Abstract

Metadata

Authors/Creators:
Dates:
  • Accepted: 12 July 2019
  • Published: 23 September 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 15 Jul 2019 08:30
Last Modified: 21 Nov 2021 11:18
Published Version: https://doi.org/10.1007/978-3-030-31038-7_7
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-030-31038-7_7

Download

Share / Export

Statistics