Registered user since Wed 7 Jan 2015

Name: Rosemary Monahan

Country: Ireland

Affiliation: National University of Ireland

Personal website: https://www.maynoothuniversity.ie/people/rosemary-monahan

Research interests: Safety Critical Software, Dependable Software Systems, Specification Languages, Systems Modelling, Formal Methods and Software Verification, and Program Verification Tools, Refinement, Software Analysis, Computer Science Education

Contributions