Republic of Ireland)

Identifiers

No identifiers captured yet.

Papers (3)

1. Generating Loop Invariants for Program Verification by Transformation cs.LO · 2017 · author #3
2. Generating Counterexamples for Model Checking by Transformation cs.SE · 2016 · author #3
3. Proceedings of the Fourth International Workshop on Verification and Program Transformation cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Dublin City University 2 shared papers
• G. W. Hamilton (School of Computing 2 shared papers
• Alexei Lisitsa (The University of Liverpool 1 shared papers
• Andrei P. Nemytykh (Program Systems Institute of RAS 1 shared papers
• Geoff Hamilton (Dublin City University 1 shared papers
• Russia) 1 shared papers
• UK) 1 shared papers