ma pomme

j.alglave@ucl.ac.uk

Lecturer, PPLV group

Publications

Software

The diy+herd tool suite

Software analysis

Coq developments

Ph.D. Thesis

818 Pumpkin