ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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


FTfJP 2022 Committee Member in Organizing Committee within the FTfJP 2022-track
Steering Committee Chair in Steering Committee within the FTfJP-track
Show activities from other conferences

ECOOP 2022-profile
View general profile