Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Toby Murray

Registered user since Wed 15 Jun 2016

Name:Toby Murray
Country:Australia
Affiliation:University of Melbourne
Research interests:Security, Program Verification

Contributions

FormaliSE 2023 PC Chair in Program Committee within the FormaliSE 2023-track
Show activities from other conferences

Using general profile