Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Eva Darulova

Registered user since Thu 18 Jun 2015

Name: Eva Darulova

Affiliation: MPI-SWS

Personal website: http://mpi-sws.org/~eva/

Contributions

CPP 2021 Lassie: HOL4 Tactics by Example
Show activities from other conferences

Using general profile