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

Authors/Creators:
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: 06 Dec 2023 09:59
Status: Published
Refereed: No
Related URLs:

Download

Filename: PoskittPlump.VS_Theory.10.pdf

Description: PoskittPlump.VS-Theory.10

Licence: CC-BY 2.5

Export

Statistics