2030 Software Engineering
Mon 15 - Fri 19 July 2024
co-located with FSE 2024
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

Show activities from other conferences

FSE 2024-profile
View general profile