FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Rosemary Monahan

Registered user since Wed 7 Jan 2015

Name:Rosemary Monahan
Affiliation:National University of Ireland
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


Show activities from other conferences

Using general profile