Statistics
Publications
1
Citations
13
H-Index
1
Active since
2008
Affiliations
Trinity College Dublin(Current)
Wendy Verbruggen is an author at Trinity College Dublin specializing in coq, programming languages, and formal methods.
Publications per year
2008–2008
1
1
Wendy Verbruggen, Edsko de Vries, Arthur Hughes · 2008 · 13 citations
1–1 of 1