Alexei Lisitsa (The University of Liverpool

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrei P. Nemytykh (Program Systems Institute of RAS 1 shared papers
• Geoff Hamilton (Dublin City University 1 shared papers
• Republic of Ireland) 1 shared papers
• Russia) 1 shared papers
• UK) 1 shared papers