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

Item Type: Book Section
Authors/Creators:
Dates:
  • Published: 23 September 2019
  • Accepted: 12 July 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/S001190/1
Depositing User: Pure (York)
Date Deposited: 15 Jul 2019 08:30
Last Modified: 10 Dec 2024 00:26
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: 10.1007/978-3-030-31038-7_7
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics