Florrie Verity

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 2

Top Topics

Moment Invariants

Top Venues

Publications

Florrie Verity, Yoshihiro Maruyama
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC (2024)
Florrie Verity, Dirk Pattinson
Formally verified invariants of vote counting schemes. ACSW (2017)