Harold Pancho Eliott

Orcid: 0000-0002-3804-7889

According to our database¹, Harold Pancho Eliott authored at least 1 paper in 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

A Program Logic for Fresh Name Generation.

[DOI]

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021