Registered user since Thu 18 Apr 2024
Name:Ulf Nilsson
Country:Sweden
Affiliation:Linköping University
Personal website: https://liu.se/en/employee/ulfni53
Research interests:Computational Logic, Constraints, Abstract Interpretation, Formal verification
Contributions
FSE 2024-profile
View general profile
View general profile