Items where authors include "Poskitt, Christopher Michael"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Proceedings Paper
Number of items: 1.

Proceedings Paper

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). UNSPECIFIED. .

This list was generated on Sun Apr 28 13:03:42 2024 BST.