SPLASH 2024 (series) / Albin Salazar
Registered user since Mon 25 Mar 2024
Name:Albin Salazar
Country:Germany
Affiliation:University of Konstanz
Research interests:abstract interpretation, systems biology
Contributions
2024
Static Analysis Symposium
Using general profile