Geoff Hamilton (Dublin City University

Identifiers

No identifiers captured yet.

Papers (1)

1. Proceedings of the Fourth International Workshop on Verification and Program Transformation cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexei Lisitsa (The University of Liverpool 1 shared papers
• Andrei P. Nemytykh (Program Systems Institute of RAS 1 shared papers
• Republic of Ireland) 1 shared papers
• Russia) 1 shared papers
• UK) 1 shared papers