Items for Eliott, Harold Pancho Gordon

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Conference Proceedings

Eliott, Harold Pancho and Berger, Martin (2020) A program logic for fresh name generation. Fundamentals of Software Engineering, Tehran, Iran, 19 - 21 May, 2021. Published in: LNCS conference proceedings. Springer (Accepted)

This list was generated on Tue May 11 18:45:21 2021 BST.