Isabelle/UTP: Mechanised Theory Engineering for the UTP

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2018) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Abstract

Metadata

Authors/Creators:
Dates:
  • 4 April 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 06 Apr 2018 09:00
Last Modified: 13 Jul 2020 23:24
Status: Unpublished
Refereed: No

Download

Filename: UTP.pdf

Description: UTP

Share / Export