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
) /
Research Papers
/
Finding Universally Quantified Heap Invariants by Horn Clause Transformations
Who
Zafer Esen
,
Philipp Rümmer
,
Tjark Weber
Track
FSEN 2025 Research Papers
Zafer Esen
Uppsala University
Sweden
Philipp Rümmer
University of Regensburg and Uppsala University
Germany
Tjark Weber
Uppsala University
Sweden
x
Wed 18 Dec 22:24
