Login / Signup
Bendegúz Seres
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Consistency Checking
Software Evolution
Semi Automated
Scheduling Problem
Top Venues
Erlang
</>
Publications
</>
Bendegúz Seres
,
Dániel Horpácsi
,
Simon J. Thompson
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects.
Erlang
(2024)