SPLASH 2023 (series) / Fangzhen Lin
Not registered as user yet
Name:Fangzhen Lin
Affiliation:The Hong Kong University of Science and Technology
Contributions
| SPLASH 2023 | Solving Conditional Linear Recurrences for Program Verification: The Periodic Case | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile