Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Richard Flynn
conf.researchr.org general profile
STAF 2026 profile
Not registered as user
Name:
Richard Flynn
Affiliation:
Maynooth University
Contributions
2026
WADT
Author of Heterogeneous Specification via Institutions for Event-B and Temporal Logic within the WADT 2026-track
Share
x
Fri 14 Aug 02:30