Brae J. Webb - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Registered user since Mon 12 Dec 2022

Name:Brae J. Webb

Country:Australia

Affiliation:The University of Queensland

GitHub: https://github.com/BraeWebb

Contributions

2023

FormaliSE

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)

Show activities from other conferences

ICSE 2023-profile
View general profile