Items for Eliott, Harold Pancho Gordon

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Conference Proceedings | Thesis
Number of items: 2.

Conference Proceedings

Eliott, Harold Pancho and Berger, Martin (2021) A program logic for fresh name generation. Fundamentals of Software Engineering, Tehran, Iran, 19 - 21 May, 2021. Published in: Fundamentals of Software Engineering. 12818 76-91. Springer ISBN 9783030892463

Thesis

Eliott, Harold Pancho Gordon (2022) A program logic for fresh name generation. Doctoral thesis (PhD), University of Sussex.

This list was generated on Fri Jul 1 11:26:24 2022 BST.