ma pomme

j.alglave@ucl.ac.uk

Senior Lecturer

Publications

Software

The diy+herd tool suite

Software analysis

Coq developments

Ph.D. Thesis

818 Pumpkin