APLAS 2024 (series) / Peter Schachte
Registered user since Tue 27 Feb 2024
Name:Peter Schachte
Country:Australia
Affiliation:The University of Melbourne
Personal website: https://people.eng.unimelb.edu.au/schachte/
Research interests:Program analysis, program verification, programming languages
Contributions
Using general profile