Verifying Total Correctness of Graph Programs

Plump, Detlef orcid.org/0000-0002-1148-822X and Poskitt, Christopher (2013) Verifying Total Correctness of Graph Programs. Electronic Communications of the EASST. ISSN 1863-2122

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • Published: 2013
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Jan 2023 15:00
Last Modified: 14 Jan 2025 00:07
Published Version: https://doi.org/10.14279/tuj.eceasst.61.827.822
Status: Published
Refereed: Yes
Identification Number: 10.14279/tuj.eceasst.61.827.822
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: PoskittPlump.GCM.12.pdf

Description: PoskittPlump.GCM.12

Licence: CC-BY 2.5

Export

Statistics