Items where authors include "Poskitt, Christopher"

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

Article

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

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