
Registered user since Fri 21 Sep 2018
Name:Andrey Mokhov
Affiliation:Newcastle University, UK
Contributions
CoqPL 2019 | Towards a Coq Formalisation of Build Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile