Michael Homer - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Thu 5 Mar 2015

Name:Michael Homer

Country:New Zealand

Affiliation:Victoria University of Wellington

Personal website: http://ecs.vuw.ac.nz/~mwh

Contributions

2024

FTfJP

Dafny vs. Dala: Experience with Mechanising Language Design

MPLR

Committee Member in Program Committee within the MPLR 2024-track

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile