Hoare Logic for Graph Programs

Plump, Detlef orcid.org/0000-0002-1148-822X and Poskitt, Christopher Michael (2010) Hoare Logic for Graph Programs. In: Naumann, David and Yang, Hongseok, (eds.) Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010).

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Naumann, David
  • Yang, Hongseok
Dates:
  • Published: 2010
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 14:40
Last Modified: 08 Apr 2025 23:26
Status: Published
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: PoskittPlump.VS_Theory.10.pdf

Description: PoskittPlump.VS-Theory.10

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of PoskittPlump.VS-Theory.10]

Export

Statistics


CORE (COnnecting REpositories)