Ulf Nilsson

Registered user since Thu 18 Apr 2024

Name:Ulf Nilsson
Country:Sweden
Affiliation:Linköping University
Research interests:Computational Logic, Constraints, Abstract Interpretation, Formal verification

Contributions