An Axiomatic Value Model for Isabelle/UTP

Zeyda, Frank, Foster, Simon David orcid.org/0000-0002-9889-9514 and Freitas, Leo (Accepted: 2016) An Axiomatic Value Model for Isabelle/UTP. In: 6th International Symposium on Unifying Theories of Programming. 6th International Symposium on Unifying Theories of Programming, 04-05 Jun 2016 , ISL , pp. 1-20. (In Press)

Abstract

Metadata

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: 27 Sep 2016 10:33
Last Modified: 12 Jul 2020 23:03
Status: In Press
Refereed: No

Download

Share / Export