Linpeng Zhang
Original record- Institution
- University College London
- Year
- 2025
- Country
- United Kingdom
- MGP identifier
- 344336
Dissertation: Quantitative Program Analysis: From Strongest Postconditions to Hyperproperties
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Benjamin Lucien KaminskiInstitution not recorded
- Alexandra SilvaRadboud Universiteit Nijmegen · 2010
Students 0
No students recorded in this snapshot.