ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Rosemary Monahan

Registered user since Wed 7 Jan 2015

Name:Rosemary Monahan
Country:Ireland
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

Contributions

Show activities from other conferences

SPLASH 2020-profile
View general profile