Zongyuan Liu´s PhD defence of "Separation Logic for Low-level and Realistic Programs"
Oplysninger om arrangementet
Tidspunkt
Sted
5342-333 Ada
Pris
Free DKK
On Wednesday April 30 2025 Zongyuan Liu will defend the PhD thesis Separation Logic for Low-level and Realistic Programs