FSEN 2025
Mon 7 - Tue 8 April 2025
Västerås, Sweden
Toggle navigation
Attending
Venue: Mälardalen University
Registration
Accommodations
Travelling
Tracks
FSEN 2025
Research Papers
Posters
Marjan Festschrift
Organization
FSEN 2025 Committees
General Chairs
Organizing Committee
Steering Committee
Keynote Speakers
Program Chairs
Program Committee
Publicity Chair
Track Committees
Posters
Marjan Festschrift
Contributors
People Index
Search
Series
Sign in
Sign up
FSEN 2025
(
series
) /
Zafer Esen
FSEN 2025 profile
conf.research.org general profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2025 profile
Not registered as user
Name:
Zafer Esen
Country:
Sweden
Affiliation:
Uppsala University
Contributions
2025
FSEN
Finding Universally Quantified Heap Invariants by Horn Clause Transformations
Show activities from other conferences
Share
Using general profile
x
Wed 18 Dec 19:54