conf.researchr.org / Oisin Sheridan
![Oisin Sheridan](https://conf.researchr.org/getProfileImage/oisinsheridan/ac7142c7-8ed5-482f-adee-55160325ff05/small.jpg?1718298661000)
Registered user since Thu 17 Feb 2022
Name:Oisin Sheridan
Country:Ireland
Affiliation:Maynooth University
Research interests:Software Verification, Formal Methods, Software Development
Contributions
Registered user since Thu 17 Feb 2022
Contributions