Registered user since Thu 8 Jul 2021

Name:Conor Reynolds
Country:Ireland
Affiliation:Maynooth University
Research interests:Coq, institution theory, Event-B, formal software development

Contributions